1
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
2
<pnml xmlns="http://www.informatik.hu-berlin.de/top/pnml/ptNetb">
3
<shared-place initialMarking="1" invariant="< inf" name="mutex"/>
4
<shared-transition name="join"/>
5
<net active="true" id="Type1" type="P/T net">
6
<place id="P0" initialMarking="0" invariant="< inf" markingOffsetX="0.0" markingOffsetY="0.0" name="P0" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="225.0" positionY="75.0"/>
7
<place id="P1" initialMarking="0" invariant="< inf" markingOffsetX="0.0" markingOffsetY="0.0" name="P1" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="225.0" positionY="240.0"/>
8
<place id="P2" initialMarking="0" invariant="< inf" markingOffsetX="0.0" markingOffsetY="0.0" name="P2" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="135.0" positionY="345.0"/>
9
<place id="P3" initialMarking="0" invariant="< inf" markingOffsetX="0.0" markingOffsetY="0.0" name="P3" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="315.0" positionY="345.0"/>
10
<place id="P4" initialMarking="0" invariant="< inf" markingOffsetX="0.0" markingOffsetY="0.0" name="P4" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="135.0" positionY="465.0"/>
11
<place id="P5" initialMarking="0" invariant="< inf" markingOffsetX="0.0" markingOffsetY="0.0" name="P5" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="315.0" positionY="465.0"/>
12
<place id="P6" initialMarking="0" invariant="< inf" markingOffsetX="0.0" markingOffsetY="0.0" name="P6" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="210.0" positionY="645.0"/>
13
<place id="P7" initialMarking="0" invariant="< inf" markingOffsetX="0.0" markingOffsetY="0.0" name="P7" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="210.0" positionY="750.0"/>
14
<place id="P8" initialMarking="0" invariant="< inf" markingOffsetX="0.0" markingOffsetY="0.0" name="P8" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="345.0" positionY="810.0"/>
15
<place id="P9" initialMarking="0" invariant="< inf" markingOffsetX="0.0" markingOffsetY="0.0" name="P9" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="420.0" positionY="690.0"/>
16
<place id="mutex" initialMarking="1" invariant="< inf" markingOffsetX="0.0" markingOffsetY="0.0" name="mutex" nameOffsetX="35.0" nameOffsetY="-12.0" positionX="540.0" positionY="270.0"/>
17
<place id="P11" initialMarking="2" invariant="< inf" markingOffsetX="0.0" markingOffsetY="0.0" name="P11" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="45.0" positionY="210.0"/>
18
<transition angle="0" id="waitRobot" infiniteServer="false" name="waitRobot" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="225.0" positionY="15.0" priority="0"/>
19
<transition angle="0" id="endRobot" infiniteServer="false" name="endRobot" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="225.0" positionY="165.0" priority="0"/>
20
<transition angle="0" id="M1working" infiniteServer="false" name="M1working" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="135.0" positionY="300.0" priority="0"/>
21
<transition angle="0" id="M3working" infiniteServer="false" name="M3working" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="315.0" positionY="300.0" priority="0"/>
22
<transition angle="0" id="waitRobota" infiniteServer="false" name="waitRobota" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="135.0" positionY="405.0" priority="0"/>
23
<transition angle="0" id="waitRobotb" infiniteServer="false" name="waitRobotb" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="315.0" positionY="405.0" priority="0"/>
24
<transition angle="0" id="M2working" infiniteServer="false" name="M2working" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="210.0" positionY="705.0" priority="0"/>
25
<transition angle="0" id="waitRobotc" infiniteServer="false" name="waitRobotc" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="210.0" positionY="810.0" priority="0"/>
26
<transition angle="0" id="endRobotc" infiniteServer="false" name="endRobotc" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="345.0" positionY="735.0" priority="0"/>
27
<transition angle="0" id="join" infiniteServer="false" name="join" nameOffsetX="24.0" nameOffsetY="-9.0" positionX="540.0" positionY="600.0" priority="0"/>
28
<transition angle="0" id="endRobota" infiniteServer="false" name="endRobota" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="135.0" positionY="555.0" priority="0"/>
29
<transition angle="0" id="endRobotb" infiniteServer="false" name="endRobotb" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="315.0" positionY="555.0" priority="0"/>
30
<arc id="waitRobot to P0" inscription="1" source="waitRobot" target="P0" type="normal" weight="1">
31
<arcpath arcPointType="false" id="0" xCoord="237" yCoord="42"/>
32
<arcpath arcPointType="false" id="1" xCoord="237" yCoord="72"/>
34
<arc id="P0 to endRobot" inscription="[0,inf)" source="P0" target="endRobot" type="timed" weight="1">
35
<arcpath arcPointType="false" id="0" xCoord="237" yCoord="101"/>
36
<arcpath arcPointType="false" id="1" xCoord="237" yCoord="162"/>
38
<arc id="endRobot to P1" inscription="1" source="endRobot" target="P1" type="normal" weight="1">
39
<arcpath arcPointType="false" id="0" xCoord="237" yCoord="192"/>
40
<arcpath arcPointType="false" id="1" xCoord="237" yCoord="237"/>
42
<arc id="P1 to M1working" inscription="[0,inf)" source="P1" target="M1working" type="timed" weight="1">
43
<arcpath arcPointType="false" id="0" xCoord="224" yCoord="260"/>
44
<arcpath arcPointType="false" id="1" xCoord="151" yCoord="312"/>
46
<arc id="P1 to M3working" inscription="[0,inf)" source="P1" target="M3working" type="timed" weight="1">
47
<arcpath arcPointType="false" id="0" xCoord="249" yCoord="260"/>
48
<arcpath arcPointType="false" id="1" xCoord="321" yCoord="312"/>
50
<arc id="M3working to P3" inscription="1" source="M3working" target="P3" type="normal" weight="1">
51
<arcpath arcPointType="false" id="0" xCoord="327" yCoord="327"/>
52
<arcpath arcPointType="false" id="1" xCoord="327" yCoord="342"/>
54
<arc id="M1working to P2" inscription="1" source="M1working" target="P2" type="normal" weight="1">
55
<arcpath arcPointType="false" id="0" xCoord="147" yCoord="327"/>
56
<arcpath arcPointType="false" id="1" xCoord="147" yCoord="342"/>
58
<arc id="P2 to waitRobota" inscription="[0,inf)" source="P2" target="waitRobota" type="timed" weight="1">
59
<arcpath arcPointType="false" id="0" xCoord="147" yCoord="371"/>
60
<arcpath arcPointType="false" id="1" xCoord="147" yCoord="402"/>
62
<arc id="P3 to waitRobotb" inscription="[0,inf)" source="P3" target="waitRobotb" type="timed" weight="1">
63
<arcpath arcPointType="false" id="0" xCoord="327" yCoord="371"/>
64
<arcpath arcPointType="false" id="1" xCoord="327" yCoord="402"/>
66
<arc id="waitRobotb to P5" inscription="1" source="waitRobotb" target="P5" type="normal" weight="1">
67
<arcpath arcPointType="false" id="0" xCoord="327" yCoord="432"/>
68
<arcpath arcPointType="false" id="1" xCoord="327" yCoord="462"/>
70
<arc id="P6 to M2working" inscription="[0,inf)" source="P6" target="M2working" type="timed" weight="1">
71
<arcpath arcPointType="false" id="0" xCoord="222" yCoord="671"/>
72
<arcpath arcPointType="false" id="1" xCoord="222" yCoord="702"/>
74
<arc id="M2working to P7" inscription="1" source="M2working" target="P7" type="normal" weight="1">
75
<arcpath arcPointType="false" id="0" xCoord="222" yCoord="732"/>
76
<arcpath arcPointType="false" id="1" xCoord="222" yCoord="747"/>
78
<arc id="P7 to waitRobotc" inscription="[0,inf)" source="P7" target="waitRobotc" type="timed" weight="1">
79
<arcpath arcPointType="false" id="0" xCoord="222" yCoord="776"/>
80
<arcpath arcPointType="false" id="1" xCoord="222" yCoord="807"/>
82
<arc id="waitRobotc to P8" inscription="1" source="waitRobotc" target="P8" type="normal" weight="1">
83
<arcpath arcPointType="false" id="0" xCoord="226" yCoord="827"/>
84
<arcpath arcPointType="false" id="1" xCoord="342" yCoord="822"/>
86
<arc id="P8 to endRobotc" inscription="[0,inf)" source="P8" target="endRobotc" type="timed" weight="1">
87
<arcpath arcPointType="false" id="0" xCoord="357" yCoord="807"/>
88
<arcpath arcPointType="false" id="1" xCoord="357" yCoord="762"/>
90
<arc id="endRobotc to P9" inscription="1" source="endRobotc" target="P9" type="normal" weight="1">
91
<arcpath arcPointType="false" id="0" xCoord="361" yCoord="747"/>
92
<arcpath arcPointType="false" id="1" xCoord="419" yCoord="710"/>
94
<arc id="endRobotc to mutex" inscription="1" source="endRobotc" target="mutex" type="normal" weight="1">
95
<arcpath arcPointType="false" id="0" xCoord="357" yCoord="732"/>
96
<arcpath arcPointType="false" id="1" xCoord="546" yCoord="295"/>
98
<arc id="P9 to join" inscription="[0,inf)" source="P9" target="join" type="timed" weight="1">
99
<arcpath arcPointType="false" id="0" xCoord="443" yCoord="692"/>
100
<arcpath arcPointType="false" id="1" xCoord="546" yCoord="612"/>
102
<arc id="join to P11" inscription="1" source="join" target="P11" type="normal" weight="1">
103
<arcpath arcPointType="false" id="0" xCoord="552" yCoord="627"/>
104
<arcpath arcPointType="false" id="1" xCoord="523" yCoord="868"/>
105
<arcpath arcPointType="false" id="2" xCoord="88" yCoord="853"/>
106
<arcpath arcPointType="false" id="3" xCoord="57" yCoord="236"/>
108
<arc id="P11 to waitRobot" inscription="[0,inf)" source="P11" target="waitRobot" type="timed" weight="1">
109
<arcpath arcPointType="false" id="0" xCoord="67" yCoord="210"/>
110
<arcpath arcPointType="false" id="1" xCoord="231" yCoord="27"/>
112
<arc id="waitRobota to P4" inscription="1" source="waitRobota" target="P4" type="normal" weight="1">
113
<arcpath arcPointType="false" id="0" xCoord="147" yCoord="432"/>
114
<arcpath arcPointType="false" id="1" xCoord="147" yCoord="462"/>
116
<arc id="P4 to endRobota" inscription="[0,inf)" source="P4" target="endRobota" type="timed" weight="1">
117
<arcpath arcPointType="false" id="0" xCoord="147" yCoord="491"/>
118
<arcpath arcPointType="false" id="1" xCoord="147" yCoord="552"/>
120
<arc id="P5 to endRobotb" inscription="[0,inf)" source="P5" target="endRobotb" type="timed" weight="1">
121
<arcpath arcPointType="false" id="0" xCoord="327" yCoord="491"/>
122
<arcpath arcPointType="false" id="1" xCoord="327" yCoord="552"/>
124
<arc id="endRobota to P6" inscription="1" source="endRobota" target="P6" type="normal" weight="1">
125
<arcpath arcPointType="false" id="0" xCoord="151" yCoord="572"/>
126
<arcpath arcPointType="false" id="1" xCoord="212" yCoord="645"/>
128
<arc id="endRobotb to P6" inscription="1" source="endRobotb" target="P6" type="normal" weight="1">
129
<arcpath arcPointType="false" id="0" xCoord="321" yCoord="567"/>
130
<arcpath arcPointType="false" id="1" xCoord="233" yCoord="647"/>
132
<arc id="mutex to waitRobot" inscription="[0,inf)" source="mutex" target="waitRobot" type="timed" weight="1">
133
<arcpath arcPointType="false" id="0" xCoord="540" yCoord="272"/>
134
<arcpath arcPointType="false" id="1" xCoord="241" yCoord="27"/>
136
<arc id="endRobot to mutex" inscription="1" source="endRobot" target="mutex" type="normal" weight="1">
137
<arcpath arcPointType="false" id="0" xCoord="241" yCoord="177"/>
138
<arcpath arcPointType="false" id="1" xCoord="537" yCoord="277"/>
140
<arc id="mutex to waitRobota" inscription="[0,inf)" source="mutex" target="waitRobota" type="timed" weight="1">
141
<arcpath arcPointType="false" id="0" xCoord="537" yCoord="286"/>
142
<arcpath arcPointType="false" id="1" xCoord="151" yCoord="417"/>
144
<arc id="mutex to waitRobotb" inscription="[0,inf)" source="mutex" target="waitRobotb" type="timed" weight="1">
145
<arcpath arcPointType="false" id="0" xCoord="539" yCoord="289"/>
146
<arcpath arcPointType="false" id="1" xCoord="331" yCoord="417"/>
148
<arc id="endRobota to mutex" inscription="1" source="endRobota" target="mutex" type="normal" weight="1">
149
<arcpath arcPointType="false" id="0" xCoord="152" yCoord="562"/>
150
<arcpath arcPointType="false" id="1" xCoord="539" yCoord="290"/>
152
<arc id="endRobotb to mutex" inscription="1" source="endRobotb" target="mutex" type="normal" weight="1">
153
<arcpath arcPointType="false" id="0" xCoord="331" yCoord="567"/>
154
<arcpath arcPointType="false" id="1" xCoord="542" yCoord="293"/>
156
<arc id="mutex to waitRobotc" inscription="[0,inf)" source="mutex" target="waitRobotc" type="timed" weight="1">
157
<arcpath arcPointType="false" id="0" xCoord="544" yCoord="294"/>
158
<arcpath arcPointType="false" id="1" xCoord="227" yCoord="817"/>
161
<net active="true" id="Type2" type="P/T net">
162
<place id="P0" initialMarking="0" invariant="< inf" markingOffsetX="0.0" markingOffsetY="0.0" name="P0" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="540.0" positionY="75.0"/>
163
<place id="P1" initialMarking="0" invariant="< inf" markingOffsetX="0.0" markingOffsetY="0.0" name="P1" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="540.0" positionY="210.0"/>
164
<place id="P2" initialMarking="0" invariant="< inf" markingOffsetX="0.0" markingOffsetY="0.0" name="P2" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="540.0" positionY="345.0"/>
165
<place id="P3" initialMarking="0" invariant="< inf" markingOffsetX="0.0" markingOffsetY="0.0" name="P3" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="540.0" positionY="480.0"/>
166
<place id="P4" initialMarking="0" invariant="< inf" markingOffsetX="0.0" markingOffsetY="0.0" name="P4" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="540.0" positionY="600.0"/>
167
<place id="P5" initialMarking="0" invariant="< inf" markingOffsetX="0.0" markingOffsetY="0.0" name="P5" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="390.0" positionY="810.0"/>
168
<place id="P6" initialMarking="0" invariant="< inf" markingOffsetX="0.0" markingOffsetY="0.0" name="P6" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="330.0" positionY="570.0"/>
169
<place id="mutex" initialMarking="1" invariant="< inf" markingOffsetX="0.0" markingOffsetY="0.0" name="mutex" nameOffsetX="-12.0" nameOffsetY="15.0" positionX="180.0" positionY="135.0"/>
170
<place id="P8" initialMarking="2" invariant="< inf" markingOffsetX="0.0" markingOffsetY="0.0" name="P8" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="765.0" positionY="255.0"/>
171
<place id="P9" initialMarking="0" invariant="< inf" markingOffsetX="0.0" markingOffsetY="0.0" name="P9" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="540.0" positionY="720.0"/>
172
<transition angle="0" id="waitRobot" infiniteServer="false" name="waitRobot" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="540.0" positionY="15.0" priority="0"/>
173
<transition angle="0" id="endRobot" infiniteServer="false" name="endRobot" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="540.0" positionY="135.0" priority="0"/>
174
<transition angle="0" id="M2working" infiniteServer="false" name="M2working" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="540.0" positionY="270.0" priority="0"/>
175
<transition angle="0" id="waitRobota" infiniteServer="false" name="waitRobota" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="540.0" positionY="405.0" priority="0"/>
176
<transition angle="0" id="endRobota" infiniteServer="false" name="endRobota" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="540.0" positionY="540.0" priority="0"/>
177
<transition angle="0" id="M1working" infiniteServer="false" name="M1working" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="540.0" positionY="660.0" priority="0"/>
178
<transition angle="0" id="waitRobotc" infiniteServer="false" name="waitRobotc" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="540.0" positionY="795.0" priority="0"/>
179
<transition angle="0" id="endRobotc" infiniteServer="false" name="endRobotc" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="405.0" positionY="660.0" priority="0"/>
180
<transition angle="0" id="join" infiniteServer="false" name="join" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="225.0" positionY="525.0" priority="0"/>
181
<arc id="waitRobot to P0" inscription="1" source="waitRobot" target="P0" type="normal" weight="1">
182
<arcpath arcPointType="false" id="0" xCoord="556" yCoord="32"/>
183
<arcpath arcPointType="false" id="1" xCoord="553" yCoord="28"/>
184
<arcpath arcPointType="false" id="2" xCoord="552" yCoord="72"/>
186
<arc id="P0 to endRobot" inscription="[0,inf)" source="P0" target="endRobot" type="timed" weight="1">
187
<arcpath arcPointType="false" id="0" xCoord="552" yCoord="101"/>
188
<arcpath arcPointType="false" id="1" xCoord="552" yCoord="132"/>
190
<arc id="endRobot to P1" inscription="1" source="endRobot" target="P1" type="normal" weight="1">
191
<arcpath arcPointType="false" id="0" xCoord="556" yCoord="147"/>
192
<arcpath arcPointType="false" id="1" xCoord="553" yCoord="148"/>
193
<arcpath arcPointType="false" id="2" xCoord="552" yCoord="207"/>
195
<arc id="P1 to M2working" inscription="[0,inf)" source="P1" target="M2working" type="timed" weight="1">
196
<arcpath arcPointType="false" id="0" xCoord="552" yCoord="236"/>
197
<arcpath arcPointType="false" id="1" xCoord="552" yCoord="267"/>
199
<arc id="M2working to P2" inscription="1" source="M2working" target="P2" type="normal" weight="1">
200
<arcpath arcPointType="false" id="0" xCoord="552" yCoord="297"/>
201
<arcpath arcPointType="false" id="1" xCoord="552" yCoord="342"/>
203
<arc id="P2 to waitRobota" inscription="[0,inf)" source="P2" target="waitRobota" type="timed" weight="1">
204
<arcpath arcPointType="false" id="0" xCoord="552" yCoord="371"/>
205
<arcpath arcPointType="false" id="1" xCoord="552" yCoord="402"/>
207
<arc id="waitRobota to P3" inscription="1" source="waitRobota" target="P3" type="normal" weight="1">
208
<arcpath arcPointType="false" id="0" xCoord="552" yCoord="432"/>
209
<arcpath arcPointType="false" id="1" xCoord="552" yCoord="477"/>
211
<arc id="P3 to endRobota" inscription="[0,inf)" source="P3" target="endRobota" type="timed" weight="1">
212
<arcpath arcPointType="false" id="0" xCoord="552" yCoord="506"/>
213
<arcpath arcPointType="false" id="1" xCoord="552" yCoord="537"/>
215
<arc id="endRobota to P4" inscription="1" source="endRobota" target="P4" type="normal" weight="1">
216
<arcpath arcPointType="false" id="0" xCoord="552" yCoord="567"/>
217
<arcpath arcPointType="false" id="1" xCoord="552" yCoord="597"/>
219
<arc id="P4 to M1working" inscription="[0,inf)" source="P4" target="M1working" type="timed" weight="1">
220
<arcpath arcPointType="false" id="0" xCoord="552" yCoord="626"/>
221
<arcpath arcPointType="false" id="1" xCoord="552" yCoord="657"/>
223
<arc id="M1working to P9" inscription="1" source="M1working" target="P9" type="normal" weight="1">
224
<arcpath arcPointType="false" id="0" xCoord="552" yCoord="687"/>
225
<arcpath arcPointType="false" id="1" xCoord="552" yCoord="717"/>
227
<arc id="P9 to waitRobotc" inscription="[0,inf)" source="P9" target="waitRobotc" type="timed" weight="1">
228
<arcpath arcPointType="false" id="0" xCoord="552" yCoord="746"/>
229
<arcpath arcPointType="false" id="1" xCoord="552" yCoord="792"/>
231
<arc id="waitRobotc to P5" inscription="1" source="waitRobotc" target="P5" type="normal" weight="1">
232
<arcpath arcPointType="false" id="0" xCoord="546" yCoord="807"/>
233
<arcpath arcPointType="false" id="1" xCoord="416" yCoord="820"/>
235
<arc id="P5 to endRobotc" inscription="[0,inf)" source="P5" target="endRobotc" type="timed" weight="1">
236
<arcpath arcPointType="false" id="0" xCoord="403" yCoord="807"/>
237
<arcpath arcPointType="false" id="1" xCoord="417" yCoord="687"/>
239
<arc id="endRobotc to P6" inscription="1" source="endRobotc" target="P6" type="normal" weight="1">
240
<arcpath arcPointType="false" id="0" xCoord="411" yCoord="672"/>
241
<arcpath arcPointType="false" id="1" xCoord="351" yCoord="593"/>
243
<arc id="P6 to join" inscription="[0,inf)" source="P6" target="join" type="timed" weight="1">
244
<arcpath arcPointType="false" id="0" xCoord="328" yCoord="575"/>
245
<arcpath arcPointType="false" id="1" xCoord="241" yCoord="537"/>
247
<arc id="join to P8" inscription="1" source="join" target="P8" type="normal" weight="1">
248
<arcpath arcPointType="false" id="0" xCoord="237" yCoord="552"/>
249
<arcpath arcPointType="false" id="1" xCoord="283" yCoord="853"/>
250
<arcpath arcPointType="false" id="2" xCoord="748" yCoord="853"/>
251
<arcpath arcPointType="false" id="3" xCoord="776" yCoord="281"/>
253
<arc id="P8 to waitRobot" inscription="[0,inf)" source="P8" target="waitRobot" type="timed" weight="1">
254
<arcpath arcPointType="false" id="0" xCoord="772" yCoord="252"/>
255
<arcpath arcPointType="false" id="1" xCoord="718" yCoord="58"/>
256
<arcpath arcPointType="false" id="2" xCoord="557" yCoord="22"/>
258
<arc id="mutex to waitRobot" inscription="[0,inf)" source="mutex" target="waitRobot" type="timed" weight="1">
259
<arcpath arcPointType="false" id="0" xCoord="206" yCoord="142"/>
260
<arcpath arcPointType="false" id="1" xCoord="546" yCoord="27"/>
262
<arc id="endRobot to mutex" inscription="1" source="endRobot" target="mutex" type="normal" weight="1">
263
<arcpath arcPointType="false" id="0" xCoord="546" yCoord="147"/>
264
<arcpath arcPointType="false" id="1" xCoord="206" yCoord="147"/>
266
<arc id="mutex to waitRobota" inscription="[0,inf)" source="mutex" target="waitRobota" type="timed" weight="1">
267
<arcpath arcPointType="false" id="0" xCoord="203" yCoord="156"/>
268
<arcpath arcPointType="false" id="1" xCoord="546" yCoord="417"/>
270
<arc id="endRobota to mutex" inscription="1" source="endRobota" target="mutex" type="normal" weight="1">
271
<arcpath arcPointType="false" id="0" xCoord="546" yCoord="552"/>
272
<arcpath arcPointType="false" id="1" xCoord="201" yCoord="158"/>
274
<arc id="mutex to waitRobotc" inscription="[0,inf)" source="mutex" target="waitRobotc" type="timed" weight="1">
275
<arcpath arcPointType="false" id="0" xCoord="199" yCoord="160"/>
276
<arcpath arcPointType="false" id="1" xCoord="552" yCoord="792"/>
278
<arc id="endRobotc to mutex" inscription="1" source="endRobotc" target="mutex" type="normal" weight="1">
279
<arcpath arcPointType="false" id="0" xCoord="417" yCoord="657"/>
280
<arcpath arcPointType="false" id="1" xCoord="198" yCoord="160"/>
283
<query active="true" capacity="0" discreteInclusion="false" extrapolationOption="null" hashTableSize="null" inclusionPlaces="*NONE*" name="TRUE" query="EF (Type2.P1=0 and Type1.P9>1)" reductionOption="VerifyTAPN" searchOption="HEURISTIC" symmetry="true" traceOption="NONE"/>
284
<query active="true" capacity="3" discreteInclusion="false" extrapolationOption="null" hashTableSize="null" inclusionPlaces="*NONE*" name="TRUE" query="EG Type1.P11>=1" reductionOption="VerifyTAPNdiscreteVerification" searchOption="HEURISTIC" symmetry="true" traceOption="NONE"/>
285
<query active="true" capacity="3" discreteInclusion="false" extrapolationOption="null" hashTableSize="null" inclusionPlaces="*NONE*" name="FALSE" query="AG (Type1.P3<=1 or Type2.P4<=1)" reductionOption="DEGREE2BROADCAST" searchOption="HEURISTIC" symmetry="true" traceOption="NONE"/>
286
<query active="true" capacity="3" discreteInclusion="false" extrapolationOption="null" hashTableSize="null" inclusionPlaces="*NONE*" name="FALSE" query="EF (Type1.P5=1 and Type1.P8=1 and Type2.P0=1 and Type2.P5=1)" reductionOption="VerifyTAPN" searchOption="HEURISTIC" symmetry="true" traceOption="NONE"/>