text: graph [
    node_count 115
    edge_count 228
  
    node_data size float
    node_data label string
  
    node [
      id 1
      degree 2
      size 1
      label "waiting_P3"
    ]
    node [
      id 2
      degree 2
      size 1
      label "releasing_P3"
    ]
    node [
      id 3
      degree 2
      size 1
      label "init_P3"
    ]
    node [
      id 4
      degree 2
      size 1
      label "ready_to_consume"
    ]
    node [
      id 5
      degree 2
      size 1
      label "ready_to_receive"
    ]
    node [
      id 6
      degree 2
      size 1
      label "waiting_P2"
    ]
    node [
      id 7
      degree 2
      size 1
      label "releasing_P2"
    ]
    node [
      id 8
      degree 2
      size 1
      label "init_P2"
    ]
    node [
      id 9
      degree 2
      size 1
      label "waiting_P1"
    ]
    node [
      id 10
      degree 2
      size 1
      label "releasing_P1"
    ]
    node [
      id 11
      degree 2
      size 1
      label "init_P1"
    ]
    node [
      id 12
      degree 2
      size 1
      label "ready_to_send"
    ]
    node [
      id 13
      degree 2
      size 1
      label "ready_to_produce"
    ]
    node [
      id 14
      degree 6
      size 1
      label "ext_P1"
    ]
    node [
      id 15
      degree 4
      size 1
      label "norm_P1"
    ]
    node [
      id 16
      degree 6
      size 1
      label "basic_P1"
    ]
    node [
      id 17
      degree 4
      size 1
      label "R2_off_P1"
    ]
    node [
      id 18
      degree 6
      size 1
      label "R1_off_P1"
    ]
    node [
      id 19
      degree 8
      size 1
      label "R1_on_P1"
    ]
    node [
      id 20
      degree 8
      size 1
      label "R2_on_P1"
    ]
    node [
      id 21
      degree 2
      size 1
      label "stop_moving_P1"
    ]
    node [
      id 22
      degree 4
      size 1
      label "step3_P1"
    ]
    node [
      id 23
      degree 4
      size 1
      label "step4_P1"
    ]
    node [
      id 24
      degree 4
      size 1
      label "step2_P1"
    ]
    node [
      id 25
      degree 4
      size 1
      label "step1_P1"
    ]
    node [
      id 26
      degree 2
      size 1
      label "start_moving_P1"
    ]
    node [
      id 27
      degree 6
      size 1
      label "ext_P2"
    ]
    node [
      id 28
      degree 4
      size 1
      label "norm_P2"
    ]
    node [
      id 29
      degree 6
      size 1
      label "basic_P2"
    ]
    node [
      id 30
      degree 4
      size 1
      label "R2_off_P2"
    ]
    node [
      id 31
      degree 6
      size 1
      label "R1_off_P2"
    ]
    node [
      id 32
      degree 8
      size 1
      label "R1_on_P2"
    ]
    node [
      id 33
      degree 8
      size 1
      label "R2_on_P2"
    ]
    node [
      id 34
      degree 2
      size 1
      label "stop_moving_P2"
    ]
    node [
      id 35
      degree 4
      size 1
      label "step3_P2"
    ]
    node [
      id 36
      degree 4
      size 1
      label "step4_P2"
    ]
    node [
      id 37
      degree 4
      size 1
      label "step2_P2"
    ]
    node [
      id 38
      degree 4
      size 1
      label "step1_P2"
    ]
    node [
      id 39
      degree 2
      size 1
      label "start_moving_P2"
    ]
    node [
      id 40
      degree 6
      size 1
      label "ext_P3"
    ]
    node [
      id 41
      degree 4
      size 1
      label "norm_P3"
    ]
    node [
      id 42
      degree 6
      size 1
      label "basic_P3"
    ]
    node [
      id 43
      degree 4
      size 1
      label "R2_off_P3"
    ]
    node [
      id 44
      degree 6
      size 1
      label "R1_off_P3"
    ]
    node [
      id 45
      degree 8
      size 1
      label "R1_on_P3"
    ]
    node [
      id 46
      degree 8
      size 1
      label "R2_on_P3"
    ]
    node [
      id 47
      degree 2
      size 1
      label "stop_moving_P3"
    ]
    node [
      id 48
      degree 4
      size 1
      label "step3_P3"
    ]
    node [
      id 49
      degree 4
      size 1
      label "step4_P3"
    ]
    node [
      id 50
      degree 4
      size 1
      label "step2_P3"
    ]
    node [
      id 51
      degree 4
      size 1
      label "step1_P3"
    ]
    node [
      id 52
      degree 2
      size 1
      label "start_moving_P3"
    ]
    node [
      id 53
      degree 2
      size 1
      label "pos1_free"
    ]
    node [
      id 54
      degree 2
      size 1
      label "pos2_full"
    ]
    node [
      id 55
      degree 2
      size 1
      label "pos1_full"
    ]
    node [
      id 56
      degree 2
      size 1
      label "pos2_free"
    ]
    node [
      id 57
      degree 2
      size 1
      label "pos3_full"
    ]
    node [
      id 58
      degree 2
      size 1
      label "pos3_free"
    ]
    node [
      id 59
      degree 2
      size 1
      label "pos4_full"
    ]
    node [
      id 60
      degree 2
      size 1
      label "pos4_free"
    ]
    node [
      id 61
      degree 3
      size 1
      label "aquire_output_area_P3"
    ]
    node [
      id 62
      degree 3
      size 1
      label "release_output_area_P3"
    ]
    node [
      id 63
      degree 3
      size 1
      label "aquire_input_area_P3"
    ]
    node [
      id 64
      degree 3
      size 1
      label "release_input_area_P3"
    ]
    node [
      id 65
      degree 4
      size 1
      label "receive"
    ]
    node [
      id 66
      degree 2
      size 1
      label "consume"
    ]
    node [
      id 67
      degree 3
      size 1
      label "aquire_output_area_P2"
    ]
    node [
      id 68
      degree 3
      size 1
      label "release_output_area_P2"
    ]
    node [
      id 69
      degree 3
      size 1
      label "aquire_input_area_P2"
    ]
    node [
      id 70
      degree 3
      size 1
      label "release_input_area_P2"
    ]
    node [
      id 71
      degree 3
      size 1
      label "aquire_output_area_P1"
    ]
    node [
      id 72
      degree 3
      size 1
      label "release_output_area_P1"
    ]
    node [
      id 73
      degree 3
      size 1
      label "aquire_input_area_P1"
    ]
    node [
      id 74
      degree 3
      size 1
      label "release_input_area_P1"
    ]
    node [
      id 75
      degree 4
      size 1
      label "send"
    ]
    node [
      id 76
      degree 2
      size 1
      label "produce"
    ]
    node [
      id 77
      degree 4
      size 1
      label "ext2norm_P1"
    ]
    node [
      id 78
      degree 4
      size 1
      label "norm2ext_P1"
    ]
    node [
      id 79
      degree 4
      size 1
      label "norm2basic_P1"
    ]
    node [
      id 80
      degree 4
      size 1
      label "basic2norm_P1"
    ]
    node [
      id 81
      degree 4
      size 1
      label "R2_set_on_P1"
    ]
    node [
      id 82
      degree 4
      size 1
      label "R2_set_off_P1"
    ]
    node [
      id 83
      degree 4
      size 1
      label "R1_set_off_P1"
    ]
    node [
      id 84
      degree 4
      size 1
      label "R1_set_on_P1"
    ]
    node [
      id 85
      degree 6
      size 1
      label "tr3_P1"
    ]
    node [
      id 86
      degree 6
      size 1
      label "tr4_P1"
    ]
    node [
      id 87
      degree 6
      size 1
      label "tr2_P1"
    ]
    node [
      id 88
      degree 6
      size 1
      label "tr1_P1"
    ]
    node [
      id 89
      degree 4
      size 1
      label "tr5_P1"
    ]
    node [
      id 90
      degree 4
      size 1
      label "ext2norm_P2"
    ]
    node [
      id 91
      degree 4
      size 1
      label "norm2ext_P2"
    ]
    node [
      id 92
      degree 4
      size 1
      label "norm2basic_P2"
    ]
    node [
      id 93
      degree 4
      size 1
      label "basic2norm_P2"
    ]
    node [
      id 94
      degree 4
      size 1
      label "R2_set_on_P2"
    ]
    node [
      id 95
      degree 4
      size 1
      label "R2_set_off_P2"
    ]
    node [
      id 96
      degree 4
      size 1
      label "R1_set_off_P2"
    ]
    node [
      id 97
      degree 4
      size 1
      label "R1_set_on_P2"
    ]
    node [
      id 98
      degree 6
      size 1
      label "tr3_P2"
    ]
    node [
      id 99
      degree 6
      size 1
      label "tr4_P2"
    ]
    node [
      id 100
      degree 6
      size 1
      label "tr2_P2"
    ]
    node [
      id 101
      degree 6
      size 1
      label "tr1_P2"
    ]
    node [
      id 102
      degree 4
      size 1
      label "tr5_P2"
    ]
    node [
      id 103
      degree 4
      size 1
      label "ext2norm_P3"
    ]
    node [
      id 104
      degree 4
      size 1
      label "norm2ext_P3"
    ]
    node [
      id 105
      degree 4
      size 1
      label "norm2basic_P3"
    ]
    node [
      id 106
      degree 4
      size 1
      label "basic2norm_P3"
    ]
    node [
      id 107
      degree 4
      size 1
      label "R2_set_on_P3"
    ]
    node [
      id 108
      degree 4
      size 1
      label "R2_set_off_P3"
    ]
    node [
      id 109
      degree 4
      size 1
      label "R1_set_off_P3"
    ]
    node [
      id 110
      degree 4
      size 1
      label "R1_set_on_P3"
    ]
    node [
      id 111
      degree 6
      size 1
      label "tr3_P3"
    ]
    node [
      id 112
      degree 6
      size 1
      label "tr4_P3"
    ]
    node [
      id 113
      degree 6
      size 1
      label "tr2_P3"
    ]
    node [
      id 114
      degree 6
      size 1
      label "tr1_P3"
    ]
    node [
      id 115
      degree 4
      size 1
      label "tr5_P3"
    ]
    edge [
      id 1
      source 61
      target 52
    ]
    edge [
      id 2
      source 62
      target 2
    ]
    edge [
      id 3
      source 62
      target 59
    ]
    edge [
      id 4
      source 63
      target 1
    ]
    edge [
      id 5
      source 64
      target 3
    ]
    edge [
      id 6
      source 64
      target 58
    ]
    edge [
      id 7
      source 65
      target 4
    ]
    edge [
      id 8
      source 65
      target 60
    ]
    edge [
      id 9
      source 66
      target 5
    ]
    edge [
      id 10
      source 67
      target 39
    ]
    edge [
      id 11
      source 68
      target 7
    ]
    edge [
      id 12
      source 68
      target 57
    ]
    edge [
      id 13
      source 69
      target 6
    ]
    edge [
      id 14
      source 70
      target 8
    ]
    edge [
      id 15
      source 70
      target 56
    ]
    edge [
      id 16
      source 71
      target 26
    ]
    edge [
      id 17
      source 72
      target 10
    ]
    edge [
      id 18
      source 72
      target 54
    ]
    edge [
      id 19
      source 73
      target 9
    ]
    edge [
      id 20
      source 74
      target 11
    ]
    edge [
      id 21
      source 74
      target 53
    ]
    edge [
      id 22
      source 75
      target 13
    ]
    edge [
      id 23
      source 75
      target 55
    ]
    edge [
      id 24
      source 76
      target 12
    ]
    edge [
      id 25
      source 77
      target 15
    ]
    edge [
      id 26
      source 77
      target 20
    ]
    edge [
      id 27
      source 78
      target 14
    ]
    edge [
      id 28
      source 78
      target 19
    ]
    edge [
      id 29
      source 79
      target 16
    ]
    edge [
      id 30
      source 79
      target 20
    ]
    edge [
      id 31
      source 80
      target 15
    ]
    edge [
      id 32
      source 80
      target 19
    ]
    edge [
      id 33
      source 81
      target 20
    ]
    edge [
      id 34
      source 81
      target 22
    ]
    edge [
      id 35
      source 82
      target 17
    ]
    edge [
      id 36
      source 82
      target 23
    ]
    edge [
      id 37
      source 83
      target 18
    ]
    edge [
      id 38
      source 83
      target 24
    ]
    edge [
      id 39
      source 84
      target 19
    ]
    edge [
      id 40
      source 84
      target 25
    ]
    edge [
      id 41
      source 85
      target 14
    ]
    edge [
      id 42
      source 85
      target 18
    ]
    edge [
      id 43
      source 85
      target 22
    ]
    edge [
      id 44
      source 86
      target 16
    ]
    edge [
      id 45
      source 86
      target 20
    ]
    edge [
      id 46
      source 86
      target 23
    ]
    edge [
      id 47
      source 87
      target 14
    ]
    edge [
      id 48
      source 87
      target 19
    ]
    edge [
      id 49
      source 87
      target 24
    ]
    edge [
      id 50
      source 88
      target 16
    ]
    edge [
      id 51
      source 88
      target 18
    ]
    edge [
      id 52
      source 88
      target 25
    ]
    edge [
      id 53
      source 89
      target 17
    ]
    edge [
      id 54
      source 89
      target 21
    ]
    edge [
      id 55
      source 90
      target 28
    ]
    edge [
      id 56
      source 90
      target 33
    ]
    edge [
      id 57
      source 91
      target 27
    ]
    edge [
      id 58
      source 91
      target 32
    ]
    edge [
      id 59
      source 92
      target 29
    ]
    edge [
      id 60
      source 92
      target 33
    ]
    edge [
      id 61
      source 93
      target 28
    ]
    edge [
      id 62
      source 93
      target 32
    ]
    edge [
      id 63
      source 94
      target 33
    ]
    edge [
      id 64
      source 94
      target 35
    ]
    edge [
      id 65
      source 95
      target 30
    ]
    edge [
      id 66
      source 95
      target 36
    ]
    edge [
      id 67
      source 96
      target 31
    ]
    edge [
      id 68
      source 96
      target 37
    ]
    edge [
      id 69
      source 97
      target 32
    ]
    edge [
      id 70
      source 97
      target 38
    ]
    edge [
      id 71
      source 98
      target 27
    ]
    edge [
      id 72
      source 98
      target 31
    ]
    edge [
      id 73
      source 98
      target 35
    ]
    edge [
      id 74
      source 99
      target 29
    ]
    edge [
      id 75
      source 99
      target 33
    ]
    edge [
      id 76
      source 99
      target 36
    ]
    edge [
      id 77
      source 100
      target 27
    ]
    edge [
      id 78
      source 100
      target 32
    ]
    edge [
      id 79
      source 100
      target 37
    ]
    edge [
      id 80
      source 101
      target 29
    ]
    edge [
      id 81
      source 101
      target 31
    ]
    edge [
      id 82
      source 101
      target 38
    ]
    edge [
      id 83
      source 102
      target 30
    ]
    edge [
      id 84
      source 102
      target 34
    ]
    edge [
      id 85
      source 103
      target 41
    ]
    edge [
      id 86
      source 103
      target 46
    ]
    edge [
      id 87
      source 104
      target 40
    ]
    edge [
      id 88
      source 104
      target 45
    ]
    edge [
      id 89
      source 105
      target 42
    ]
    edge [
      id 90
      source 105
      target 46
    ]
    edge [
      id 91
      source 106
      target 41
    ]
    edge [
      id 92
      source 106
      target 45
    ]
    edge [
      id 93
      source 107
      target 46
    ]
    edge [
      id 94
      source 107
      target 48
    ]
    edge [
      id 95
      source 108
      target 43
    ]
    edge [
      id 96
      source 108
      target 49
    ]
    edge [
      id 97
      source 109
      target 44
    ]
    edge [
      id 98
      source 109
      target 50
    ]
    edge [
      id 99
      source 110
      target 45
    ]
    edge [
      id 100
      source 110
      target 51
    ]
    edge [
      id 101
      source 111
      target 40
    ]
    edge [
      id 102
      source 111
      target 44
    ]
    edge [
      id 103
      source 111
      target 48
    ]
    edge [
      id 104
      source 112
      target 42
    ]
    edge [
      id 105
      source 112
      target 46
    ]
    edge [
      id 106
      source 112
      target 49
    ]
    edge [
      id 107
      source 113
      target 40
    ]
    edge [
      id 108
      source 113
      target 45
    ]
    edge [
      id 109
      source 113
      target 50
    ]
    edge [
      id 110
      source 114
      target 42
    ]
    edge [
      id 111
      source 114
      target 44
    ]
    edge [
      id 112
      source 114
      target 51
    ]
    edge [
      id 113
      source 115
      target 43
    ]
    edge [
      id 114
      source 115
      target 47
    ]
    edge [
      id 115
      source 1
      target 61
    ]
    edge [
      id 116
      source 60
      target 61
    ]
    edge [
      id 117
      source 47
      target 62
    ]
    edge [
      id 118
      source 3
      target 63
    ]
    edge [
      id 119
      source 57
      target 63
    ]
    edge [
      id 120
      source 2
      target 64
    ]
    edge [
      id 121
      source 5
      target 65
    ]
    edge [
      id 122
      source 59
      target 65
    ]
    edge [
      id 123
      source 4
      target 66
    ]
    edge [
      id 124
      source 6
      target 67
    ]
    edge [
      id 125
      source 58
      target 67
    ]
    edge [
      id 126
      source 34
      target 68
    ]
    edge [
      id 127
      source 8
      target 69
    ]
    edge [
      id 128
      source 54
      target 69
    ]
    edge [
      id 129
      source 7
      target 70
    ]
    edge [
      id 130
      source 9
      target 71
    ]
    edge [
      id 131
      source 56
      target 71
    ]
    edge [
      id 132
      source 21
      target 72
    ]
    edge [
      id 133
      source 11
      target 73
    ]
    edge [
      id 134
      source 55
      target 73
    ]
    edge [
      id 135
      source 10
      target 74
    ]
    edge [
      id 136
      source 12
      target 75
    ]
    edge [
      id 137
      source 53
      target 75
    ]
    edge [
      id 138
      source 13
      target 76
    ]
    edge [
      id 139
      source 14
      target 77
    ]
    edge [
      id 140
      source 20
      target 77
    ]
    edge [
      id 141
      source 15
      target 78
    ]
    edge [
      id 142
      source 19
      target 78
    ]
    edge [
      id 143
      source 15
      target 79
    ]
    edge [
      id 144
      source 20
      target 79
    ]
    edge [
      id 145
      source 16
      target 80
    ]
    edge [
      id 146
      source 19
      target 80
    ]
    edge [
      id 147
      source 17
      target 81
    ]
    edge [
      id 148
      source 22
      target 81
    ]
    edge [
      id 149
      source 20
      target 82
    ]
    edge [
      id 150
      source 23
      target 82
    ]
    edge [
      id 151
      source 19
      target 83
    ]
    edge [
      id 152
      source 24
      target 83
    ]
    edge [
      id 153
      source 18
      target 84
    ]
    edge [
      id 154
      source 25
      target 84
    ]
    edge [
      id 155
      source 14
      target 85
    ]
    edge [
      id 156
      source 18
      target 85
    ]
    edge [
      id 157
      source 24
      target 85
    ]
    edge [
      id 158
      source 16
      target 86
    ]
    edge [
      id 159
      source 20
      target 86
    ]
    edge [
      id 160
      source 22
      target 86
    ]
    edge [
      id 161
      source 14
      target 87
    ]
    edge [
      id 162
      source 19
      target 87
    ]
    edge [
      id 163
      source 25
      target 87
    ]
    edge [
      id 164
      source 16
      target 88
    ]
    edge [
      id 165
      source 18
      target 88
    ]
    edge [
      id 166
      source 26
      target 88
    ]
    edge [
      id 167
      source 17
      target 89
    ]
    edge [
      id 168
      source 23
      target 89
    ]
    edge [
      id 169
      source 27
      target 90
    ]
    edge [
      id 170
      source 33
      target 90
    ]
    edge [
      id 171
      source 28
      target 91
    ]
    edge [
      id 172
      source 32
      target 91
    ]
    edge [
      id 173
      source 28
      target 92
    ]
    edge [
      id 174
      source 33
      target 92
    ]
    edge [
      id 175
      source 29
      target 93
    ]
    edge [
      id 176
      source 32
      target 93
    ]
    edge [
      id 177
      source 30
      target 94
    ]
    edge [
      id 178
      source 35
      target 94
    ]
    edge [
      id 179
      source 33
      target 95
    ]
    edge [
      id 180
      source 36
      target 95
    ]
    edge [
      id 181
      source 32
      target 96
    ]
    edge [
      id 182
      source 37
      target 96
    ]
    edge [
      id 183
      source 31
      target 97
    ]
    edge [
      id 184
      source 38
      target 97
    ]
    edge [
      id 185
      source 27
      target 98
    ]
    edge [
      id 186
      source 31
      target 98
    ]
    edge [
      id 187
      source 37
      target 98
    ]
    edge [
      id 188
      source 29
      target 99
    ]
    edge [
      id 189
      source 33
      target 99
    ]
    edge [
      id 190
      source 35
      target 99
    ]
    edge [
      id 191
      source 27
      target 100
    ]
    edge [
      id 192
      source 32
      target 100
    ]
    edge [
      id 193
      source 38
      target 100
    ]
    edge [
      id 194
      source 29
      target 101
    ]
    edge [
      id 195
      source 31
      target 101
    ]
    edge [
      id 196
      source 39
      target 101
    ]
    edge [
      id 197
      source 30
      target 102
    ]
    edge [
      id 198
      source 36
      target 102
    ]
    edge [
      id 199
      source 40
      target 103
    ]
    edge [
      id 200
      source 46
      target 103
    ]
    edge [
      id 201
      source 41
      target 104
    ]
    edge [
      id 202
      source 45
      target 104
    ]
    edge [
      id 203
      source 41
      target 105
    ]
    edge [
      id 204
      source 46
      target 105
    ]
    edge [
      id 205
      source 42
      target 106
    ]
    edge [
      id 206
      source 45
      target 106
    ]
    edge [
      id 207
      source 43
      target 107
    ]
    edge [
      id 208
      source 48
      target 107
    ]
    edge [
      id 209
      source 46
      target 108
    ]
    edge [
      id 210
      source 49
      target 108
    ]
    edge [
      id 211
      source 45
      target 109
    ]
    edge [
      id 212
      source 50
      target 109
    ]
    edge [
      id 213
      source 44
      target 110
    ]
    edge [
      id 214
      source 51
      target 110
    ]
    edge [
      id 215
      source 40
      target 111
    ]
    edge [
      id 216
      source 44
      target 111
    ]
    edge [
      id 217
      source 50
      target 111
    ]
    edge [
      id 218
      source 42
      target 112
    ]
    edge [
      id 219
      source 46
      target 112
    ]
    edge [
      id 220
      source 48
      target 112
    ]
    edge [
      id 221
      source 40
      target 113
    ]
    edge [
      id 222
      source 45
      target 113
    ]
    edge [
      id 223
      source 51
      target 113
    ]
    edge [
      id 224
      source 42
      target 114
    ]
    edge [
      id 225
      source 44
      target 114
    ]
    edge [
      id 226
      source 52
      target 114
    ]
    edge [
      id 227
      source 43
      target 115
    ]
    edge [
      id 228
      source 49
      target 115
    ]
  ]
  