← Back to branch summary

~tapaal-dist-ctl/verifypn/verifypn-dist-ctl

« back to all changes in this revision

Viewing changes to Tests/TAPAAL-test-nets/000-untimed-composition-prime-test001.xml

  • Committer: Jiri Srba
  • Date: 2014-03-05 07:02:55 UTC
  • mfrom: (40.1.68 reductions)
  • Revision ID: srba@cs.aau.dk-20140305070255-m06q3nl5p2o5wq9q
merged in a branch implementing -r switch
enabeling structural net reductions as preprocessing
for the verification

Show diffs side-by-side

added added

removed removed

Lines of Context:
Tests/TAPAAL-test-nets/000-untimed-composition-prime-test001.xml
 
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="32" invariant="&lt; inf" name="Number"/>
 
4
<shared-place initialMarking="0" invariant="&lt; inf" name="Reminder"/>
 
5
<shared-place initialMarking="1" invariant="&lt; inf" name="Control"/>
 
6
<net active="true" id="DevisionBy2" type="P/T net">
 
7
<place id="Control" initialMarking="1" invariant="&lt; inf" markingOffsetX="0.0" markingOffsetY="0.0" name="Control" nameOffsetX="-5.0" nameOffsetY="34.0" positionX="825.0" positionY="45.0"/>
 
8
<place id="Decrementing" initialMarking="0" invariant="&lt;= 1" markingOffsetX="0.0" markingOffsetY="0.0" name="Decrementing" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="75.0" positionY="300.0"/>
 
9
<place id="Number" initialMarking="32" invariant="&lt; inf" markingOffsetX="0.0" markingOffsetY="0.0" name="Number" nameOffsetX="-1.0" nameOffsetY="33.0" positionX="825.0" positionY="315.0"/>
 
10
<place id="RoundControl" initialMarking="0" invariant="&lt;= 2" markingOffsetX="0.0" markingOffsetY="0.0" name="RoundControl" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="510.0" positionY="195.0"/>
 
11
<place id="Reminder" initialMarking="0" invariant="&lt; inf" markingOffsetX="0.0" markingOffsetY="0.0" name="Reminder" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="825.0" positionY="600.0"/>
 
12
<transition angle="0" id="TakeControl" infiniteServer="false" name="TakeControl" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="75.0" positionY="75.0" priority="1" timed="true"/>
 
13
<transition angle="0" id="Decrerment" infiniteServer="false" name="Decrerment" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="240.0" positionY="540.0" priority="1" timed="true"/>
 
14
<transition angle="0" id="ReturnControl" infiniteServer="false" name="ReturnControl" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="480.0" positionY="105.0" priority="1" timed="true"/>
 
15
<transition angle="0" id="OneRound" infiniteServer="false" name="OneRound" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="570.0" positionY="300.0" priority="1" timed="true"/>
 
16
<transition angle="0" id="T12" infiniteServer="false" name="T12" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="825.0" positionY="450.0" priority="1" timed="true"/>
 
17
<arc id="Control to TakeControl" inscription="[0,inf)" source="Control" target="TakeControl" type="timed">
 
18
<arcpath arcPointType="false" id="0" xCoord="822" yCoord="57"/>
 
19
<arcpath arcPointType="false" id="1" xCoord="92" yCoord="79"/>
 
20
</arc>
 
21
<arc id="TakeControl to Decrementing" inscription="1" source="TakeControl" target="Decrementing" type="normal">
 
22
<arcpath arcPointType="false" id="0" xCoord="87" yCoord="102"/>
 
23
<arcpath arcPointType="false" id="1" xCoord="87" yCoord="297"/>
 
24
</arc>
 
25
<arc id="Decrementing to Decrerment" inscription="[0,inf)" source="Decrementing" target="Decrerment" type="timed">
 
26
<arcpath arcPointType="false" id="0" xCoord="91" yCoord="326"/>
 
27
<arcpath arcPointType="false" id="1" xCoord="137" yCoord="482"/>
 
28
<arcpath arcPointType="false" id="2" xCoord="246" yCoord="552"/>
 
29
</arc>
 
30
<arc id="Decrerment to Decrementing" inscription="1" source="Decrerment" target="Decrementing" type="normal">
 
31
<arcpath arcPointType="false" id="0" xCoord="252" yCoord="537"/>
 
32
<arcpath arcPointType="false" id="1" xCoord="212" yCoord="437"/>
 
33
<arcpath arcPointType="false" id="2" xCoord="97" yCoord="322"/>
 
34
</arc>
 
35
<arc id="Decrementing to ReturnControl" inscription="[0,inf)" source="Decrementing" target="ReturnControl" type="timed">
 
36
<arcpath arcPointType="false" id="0" xCoord="100" yCoord="305"/>
 
37
<arcpath arcPointType="false" id="1" xCoord="486" yCoord="117"/>
 
38
</arc>
 
39
<arc id="ReturnControl to Control" inscription="1" source="ReturnControl" target="Control" type="normal">
 
40
<arcpath arcPointType="false" id="0" xCoord="497" yCoord="112"/>
 
41
<arcpath arcPointType="false" id="1" xCoord="822" yCoord="59"/>
 
42
</arc>
 
43
<arc id="Number to Decrerment" inscription="[0,inf)" source="Number" target="Decrerment" type="timed">
 
44
<arcpath arcPointType="false" id="0" xCoord="823" yCoord="332"/>
 
45
<arcpath arcPointType="false" id="1" xCoord="256" yCoord="558"/>
 
46
</arc>
 
47
<arc id="TakeControl to RoundControl" inscription="1" source="TakeControl" target="RoundControl" type="normal">
 
48
<arcpath arcPointType="false" id="0" xCoord="92" yCoord="86"/>
 
49
<arcpath arcPointType="false" id="1" xCoord="507" yCoord="202"/>
 
50
</arc>
 
51
<arc id="RoundControl to ReturnControl" inscription="[0,inf)" source="RoundControl" target="ReturnControl" type="timed">
 
52
<arcpath arcPointType="false" id="0" xCoord="516" yCoord="193"/>
 
53
<arcpath arcPointType="false" id="1" xCoord="492" yCoord="132"/>
 
54
</arc>
 
55
<arc id="RoundControl to OneRound" inscription="[0,inf)" source="RoundControl" target="OneRound" type="timed">
 
56
<arcpath arcPointType="false" id="0" xCoord="533" yCoord="216"/>
 
57
<arcpath arcPointType="false" id="1" xCoord="572" yCoord="245"/>
 
58
<arcpath arcPointType="false" id="2" xCoord="582" yCoord="297"/>
 
59
</arc>
 
60
<arc id="OneRound to RoundControl" inscription="1" source="OneRound" target="RoundControl" type="normal">
 
61
<arcpath arcPointType="false" id="0" xCoord="577" yCoord="306"/>
 
62
<arcpath arcPointType="false" id="1" xCoord="529" yCoord="283"/>
 
63
<arcpath arcPointType="false" id="2" xCoord="523" yCoord="221"/>
 
64
</arc>
 
65
<arc id="RoundControl to Decrerment" inscription="[0,inf):1" source="RoundControl" target="Decrerment" type="transport">
 
66
<arcpath arcPointType="false" id="0" xCoord="511" yCoord="217"/>
 
67
<arcpath arcPointType="false" id="1" xCoord="347" yCoord="392"/>
 
68
<arcpath arcPointType="false" id="2" xCoord="257" yCoord="544"/>
 
69
</arc>
 
70
<arc id="Decrerment to RoundControl" inscription="[0,inf):1" source="Decrerment" target="RoundControl" type="transport">
 
71
<arcpath arcPointType="false" id="0" xCoord="257" yCoord="551"/>
 
72
<arcpath arcPointType="false" id="1" xCoord="392" yCoord="422"/>
 
73
<arcpath arcPointType="false" id="2" xCoord="514" yCoord="219"/>
 
74
</arc>
 
75
<arc id="Number to OneRound" inscription="[0,inf)" source="Number" target="OneRound" type="timed">
 
76
<arcpath arcPointType="false" id="0" xCoord="822" yCoord="325"/>
 
77
<arcpath arcPointType="false" id="1" xCoord="587" yCoord="307"/>
 
78
</arc>
 
79
<arc id="T12 to Number" inscription="1" source="T12" target="Number" type="normal">
 
80
<arcpath arcPointType="false" id="0" xCoord="837" yCoord="447"/>
 
81
<arcpath arcPointType="false" id="1" xCoord="837" yCoord="341"/>
 
82
</arc>
 
83
<arc id="Reminder to TakeControl" inscription="[0,inf)" source="Reminder" target="TakeControl" type="tapnInhibitor">
 
84
<arcpath arcPointType="false" id="0" xCoord="824" yCoord="603"/>
 
85
<arcpath arcPointType="false" id="1" xCoord="91" yCoord="93"/>
 
86
</arc>
 
87
<arc id="Reminder to T12" inscription="[0,inf)" source="Reminder" target="T12" type="timed">
 
88
<arcpath arcPointType="false" id="0" xCoord="837" yCoord="597"/>
 
89
<arcpath arcPointType="false" id="1" xCoord="837" yCoord="477"/>
 
90
</arc>
 
91
<arc id="OneRound to Reminder" inscription="1" source="OneRound" target="Reminder" type="normal">
 
92
<arcpath arcPointType="false" id="0" xCoord="586" yCoord="317"/>
 
93
<arcpath arcPointType="false" id="1" xCoord="827" yCoord="600"/>
 
94
</arc>
 
95
<arc id="Decrementing to OneRound" inscription="[0,inf)" source="Decrementing" target="OneRound" type="timed">
 
96
<arcpath arcPointType="false" id="0" xCoord="101" yCoord="309"/>
 
97
<arcpath arcPointType="false" id="1" xCoord="251" yCoord="286"/>
 
98
<arcpath arcPointType="false" id="2" xCoord="576" yCoord="313"/>
 
99
</arc>
 
100
<arc id="OneRound to Decrementing" inscription="1" source="OneRound" target="Decrementing" type="normal">
 
101
<arcpath arcPointType="false" id="0" xCoord="576" yCoord="320"/>
 
102
<arcpath arcPointType="false" id="1" xCoord="256" yCoord="346"/>
 
103
<arcpath arcPointType="false" id="2" xCoord="101" yCoord="314"/>
 
104
</arc>
 
105
<arc id="Number to ReturnControl" inscription="[0,inf)" source="Number" target="ReturnControl" type="tapnInhibitor">
 
106
<arcpath arcPointType="false" id="0" xCoord="824" yCoord="319"/>
 
107
<arcpath arcPointType="false" id="1" xCoord="496" yCoord="122"/>
 
108
</arc>
 
109
<arc id="Control to T12" inscription="[0,inf)" source="Control" target="T12" type="timed">
 
110
<arcpath arcPointType="false" id="0" xCoord="848" yCoord="66"/>
 
111
<arcpath arcPointType="false" id="1" xCoord="1064" yCoord="254"/>
 
112
<arcpath arcPointType="false" id="2" xCoord="841" yCoord="462"/>
 
113
</arc>
 
114
<arc id="T12 to Control" inscription="1" source="T12" target="Control" type="normal">
 
115
<arcpath arcPointType="false" id="0" xCoord="837" yCoord="447"/>
 
116
<arcpath arcPointType="false" id="1" xCoord="944" yCoord="254"/>
 
117
<arcpath arcPointType="false" id="2" xCoord="844" yCoord="70"/>
 
118
</arc>
 
119
</net>
 
120
<net active="true" id="DevisionBy3" type="P/T net">
 
121
<place id="Control" initialMarking="1" invariant="&lt; inf" markingOffsetX="0.0" markingOffsetY="0.0" name="Control" nameOffsetX="-5.0" nameOffsetY="34.0" positionX="825.0" positionY="45.0"/>
 
122
<place id="Decrementing" initialMarking="0" invariant="&lt;= 1" markingOffsetX="0.0" markingOffsetY="0.0" name="Decrementing" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="75.0" positionY="300.0"/>
 
123
<place id="Number" initialMarking="32" invariant="&lt; inf" markingOffsetX="0.0" markingOffsetY="0.0" name="Number" nameOffsetX="-1.0" nameOffsetY="33.0" positionX="825.0" positionY="315.0"/>
 
124
<place id="RoundControl" initialMarking="0" invariant="&lt;= 3" markingOffsetX="0.0" markingOffsetY="0.0" name="RoundControl" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="510.0" positionY="195.0"/>
 
125
<place id="Reminder" initialMarking="0" invariant="&lt; inf" markingOffsetX="0.0" markingOffsetY="0.0" name="Reminder" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="825.0" positionY="600.0"/>
 
126
<transition angle="0" id="TakeControl" infiniteServer="false" name="TakeControl" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="75.0" positionY="75.0" priority="1" timed="true"/>
 
127
<transition angle="0" id="Decrerment" infiniteServer="false" name="Decrerment" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="240.0" positionY="540.0" priority="1" timed="true"/>
 
128
<transition angle="0" id="ReturnControl" infiniteServer="false" name="ReturnControl" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="480.0" positionY="105.0" priority="1" timed="true"/>
 
129
<transition angle="0" id="OneRound" infiniteServer="false" name="OneRound" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="570.0" positionY="300.0" priority="1" timed="true"/>
 
130
<transition angle="0" id="T12" infiniteServer="false" name="T12" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="825.0" positionY="450.0" priority="1" timed="true"/>
 
131
<arc id="Control to TakeControl" inscription="[0,inf)" source="Control" target="TakeControl" type="timed">
 
132
<arcpath arcPointType="false" id="0" xCoord="822" yCoord="57"/>
 
133
<arcpath arcPointType="false" id="1" xCoord="92" yCoord="79"/>
 
134
</arc>
 
135
<arc id="TakeControl to Decrementing" inscription="1" source="TakeControl" target="Decrementing" type="normal">
 
136
<arcpath arcPointType="false" id="0" xCoord="87" yCoord="102"/>
 
137
<arcpath arcPointType="false" id="1" xCoord="87" yCoord="297"/>
 
138
</arc>
 
139
<arc id="Decrementing to Decrerment" inscription="[0,inf)" source="Decrementing" target="Decrerment" type="timed">
 
140
<arcpath arcPointType="false" id="0" xCoord="91" yCoord="326"/>
 
141
<arcpath arcPointType="false" id="1" xCoord="137" yCoord="482"/>
 
142
<arcpath arcPointType="false" id="2" xCoord="246" yCoord="552"/>
 
143
</arc>
 
144
<arc id="Decrerment to Decrementing" inscription="1" source="Decrerment" target="Decrementing" type="normal">
 
145
<arcpath arcPointType="false" id="0" xCoord="252" yCoord="537"/>
 
146
<arcpath arcPointType="false" id="1" xCoord="212" yCoord="437"/>
 
147
<arcpath arcPointType="false" id="2" xCoord="97" yCoord="322"/>
 
148
</arc>
 
149
<arc id="Decrementing to ReturnControl" inscription="[0,inf)" source="Decrementing" target="ReturnControl" type="timed">
 
150
<arcpath arcPointType="false" id="0" xCoord="100" yCoord="305"/>
 
151
<arcpath arcPointType="false" id="1" xCoord="486" yCoord="117"/>
 
152
</arc>
 
153
<arc id="ReturnControl to Control" inscription="1" source="ReturnControl" target="Control" type="normal">
 
154
<arcpath arcPointType="false" id="0" xCoord="497" yCoord="112"/>
 
155
<arcpath arcPointType="false" id="1" xCoord="822" yCoord="59"/>
 
156
</arc>
 
157
<arc id="Number to Decrerment" inscription="[0,inf)" source="Number" target="Decrerment" type="timed">
 
158
<arcpath arcPointType="false" id="0" xCoord="823" yCoord="332"/>
 
159
<arcpath arcPointType="false" id="1" xCoord="256" yCoord="558"/>
 
160
</arc>
 
161
<arc id="TakeControl to RoundControl" inscription="1" source="TakeControl" target="RoundControl" type="normal">
 
162
<arcpath arcPointType="false" id="0" xCoord="92" yCoord="86"/>
 
163
<arcpath arcPointType="false" id="1" xCoord="507" yCoord="202"/>
 
164
</arc>
 
165
<arc id="RoundControl to ReturnControl" inscription="[0,inf)" source="RoundControl" target="ReturnControl" type="timed">
 
166
<arcpath arcPointType="false" id="0" xCoord="516" yCoord="193"/>
 
167
<arcpath arcPointType="false" id="1" xCoord="492" yCoord="132"/>
 
168
</arc>
 
169
<arc id="RoundControl to OneRound" inscription="[0,inf)" source="RoundControl" target="OneRound" type="timed">
 
170
<arcpath arcPointType="false" id="0" xCoord="533" yCoord="216"/>
 
171
<arcpath arcPointType="false" id="1" xCoord="572" yCoord="245"/>
 
172
<arcpath arcPointType="false" id="2" xCoord="582" yCoord="297"/>
 
173
</arc>
 
174
<arc id="OneRound to RoundControl" inscription="1" source="OneRound" target="RoundControl" type="normal">
 
175
<arcpath arcPointType="false" id="0" xCoord="577" yCoord="306"/>
 
176
<arcpath arcPointType="false" id="1" xCoord="529" yCoord="283"/>
 
177
<arcpath arcPointType="false" id="2" xCoord="523" yCoord="221"/>
 
178
</arc>
 
179
<arc id="RoundControl to Decrerment" inscription="[0,inf):1" source="RoundControl" target="Decrerment" type="transport">
 
180
<arcpath arcPointType="false" id="0" xCoord="511" yCoord="217"/>
 
181
<arcpath arcPointType="false" id="1" xCoord="347" yCoord="392"/>
 
182
<arcpath arcPointType="false" id="2" xCoord="257" yCoord="544"/>
 
183
</arc>
 
184
<arc id="Decrerment to RoundControl" inscription="[0,inf):1" source="Decrerment" target="RoundControl" type="transport">
 
185
<arcpath arcPointType="false" id="0" xCoord="257" yCoord="551"/>
 
186
<arcpath arcPointType="false" id="1" xCoord="392" yCoord="422"/>
 
187
<arcpath arcPointType="false" id="2" xCoord="514" yCoord="219"/>
 
188
</arc>
 
189
<arc id="Number to OneRound" inscription="[0,inf)" source="Number" target="OneRound" type="timed">
 
190
<arcpath arcPointType="false" id="0" xCoord="822" yCoord="325"/>
 
191
<arcpath arcPointType="false" id="1" xCoord="587" yCoord="307"/>
 
192
</arc>
 
193
<arc id="T12 to Number" inscription="1" source="T12" target="Number" type="normal">
 
194
<arcpath arcPointType="false" id="0" xCoord="837" yCoord="447"/>
 
195
<arcpath arcPointType="false" id="1" xCoord="837" yCoord="341"/>
 
196
</arc>
 
197
<arc id="Reminder to TakeControl" inscription="[0,inf)" source="Reminder" target="TakeControl" type="tapnInhibitor">
 
198
<arcpath arcPointType="false" id="0" xCoord="824" yCoord="603"/>
 
199
<arcpath arcPointType="false" id="1" xCoord="91" yCoord="93"/>
 
200
</arc>
 
201
<arc id="Reminder to T12" inscription="[0,inf)" source="Reminder" target="T12" type="timed">
 
202
<arcpath arcPointType="false" id="0" xCoord="837" yCoord="597"/>
 
203
<arcpath arcPointType="false" id="1" xCoord="837" yCoord="477"/>
 
204
</arc>
 
205
<arc id="OneRound to Reminder" inscription="1" source="OneRound" target="Reminder" type="normal">
 
206
<arcpath arcPointType="false" id="0" xCoord="586" yCoord="317"/>
 
207
<arcpath arcPointType="false" id="1" xCoord="827" yCoord="600"/>
 
208
</arc>
 
209
<arc id="Decrementing to OneRound" inscription="[0,inf)" source="Decrementing" target="OneRound" type="timed">
 
210
<arcpath arcPointType="false" id="0" xCoord="101" yCoord="309"/>
 
211
<arcpath arcPointType="false" id="1" xCoord="251" yCoord="286"/>
 
212
<arcpath arcPointType="false" id="2" xCoord="576" yCoord="313"/>
 
213
</arc>
 
214
<arc id="OneRound to Decrementing" inscription="1" source="OneRound" target="Decrementing" type="normal">
 
215
<arcpath arcPointType="false" id="0" xCoord="576" yCoord="320"/>
 
216
<arcpath arcPointType="false" id="1" xCoord="256" yCoord="346"/>
 
217
<arcpath arcPointType="false" id="2" xCoord="101" yCoord="314"/>
 
218
</arc>
 
219
<arc id="Number to ReturnControl" inscription="[0,inf)" source="Number" target="ReturnControl" type="tapnInhibitor">
 
220
<arcpath arcPointType="false" id="0" xCoord="824" yCoord="319"/>
 
221
<arcpath arcPointType="false" id="1" xCoord="496" yCoord="122"/>
 
222
</arc>
 
223
<arc id="T12 to Control" inscription="1" source="T12" target="Control" type="normal">
 
224
<arcpath arcPointType="false" id="0" xCoord="842" yCoord="457"/>
 
225
<arcpath arcPointType="false" id="1" xCoord="959" yCoord="254"/>
 
226
<arcpath arcPointType="false" id="2" xCoord="844" yCoord="69"/>
 
227
</arc>
 
228
<arc id="Control to T12" inscription="[0,inf)" source="Control" target="T12" type="timed">
 
229
<arcpath arcPointType="false" id="0" xCoord="848" yCoord="66"/>
 
230
<arcpath arcPointType="false" id="1" xCoord="1079" yCoord="254"/>
 
231
<arcpath arcPointType="false" id="2" xCoord="841" yCoord="467"/>
 
232
</arc>
 
233
</net>
 
234
<net active="true" id="DevisionBy5" type="P/T net">
 
235
<place id="Control" initialMarking="1" invariant="&lt; inf" markingOffsetX="0.0" markingOffsetY="0.0" name="Control" nameOffsetX="-5.0" nameOffsetY="34.0" positionX="825.0" positionY="45.0"/>
 
236
<place id="Decrementing" initialMarking="0" invariant="&lt;= 1" markingOffsetX="0.0" markingOffsetY="0.0" name="Decrementing" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="75.0" positionY="300.0"/>
 
237
<place id="Number" initialMarking="32" invariant="&lt; inf" markingOffsetX="0.0" markingOffsetY="0.0" name="Number" nameOffsetX="-1.0" nameOffsetY="33.0" positionX="825.0" positionY="315.0"/>
 
238
<place id="RoundControl" initialMarking="0" invariant="&lt;= 5" markingOffsetX="0.0" markingOffsetY="0.0" name="RoundControl" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="510.0" positionY="195.0"/>
 
239
<place id="Reminder" initialMarking="0" invariant="&lt; inf" markingOffsetX="0.0" markingOffsetY="0.0" name="Reminder" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="825.0" positionY="600.0"/>
 
240
<transition angle="0" id="TakeControl" infiniteServer="false" name="TakeControl" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="75.0" positionY="75.0" priority="1" timed="true"/>
 
241
<transition angle="0" id="Decrerment" infiniteServer="false" name="Decrerment" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="240.0" positionY="540.0" priority="1" timed="true"/>
 
242
<transition angle="0" id="ReturnControl" infiniteServer="false" name="ReturnControl" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="480.0" positionY="105.0" priority="1" timed="true"/>
 
243
<transition angle="0" id="OneRound" infiniteServer="false" name="OneRound" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="570.0" positionY="300.0" priority="1" timed="true"/>
 
244
<transition angle="0" id="T12" infiniteServer="false" name="T12" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="825.0" positionY="450.0" priority="1" timed="true"/>
 
245
<arc id="Control to TakeControl" inscription="[0,inf)" source="Control" target="TakeControl" type="timed">
 
246
<arcpath arcPointType="false" id="0" xCoord="822" yCoord="57"/>
 
247
<arcpath arcPointType="false" id="1" xCoord="92" yCoord="79"/>
 
248
</arc>
 
249
<arc id="TakeControl to Decrementing" inscription="1" source="TakeControl" target="Decrementing" type="normal">
 
250
<arcpath arcPointType="false" id="0" xCoord="87" yCoord="102"/>
 
251
<arcpath arcPointType="false" id="1" xCoord="87" yCoord="297"/>
 
252
</arc>
 
253
<arc id="Decrementing to Decrerment" inscription="[0,inf)" source="Decrementing" target="Decrerment" type="timed">
 
254
<arcpath arcPointType="false" id="0" xCoord="91" yCoord="326"/>
 
255
<arcpath arcPointType="false" id="1" xCoord="137" yCoord="482"/>
 
256
<arcpath arcPointType="false" id="2" xCoord="246" yCoord="552"/>
 
257
</arc>
 
258
<arc id="Decrerment to Decrementing" inscription="1" source="Decrerment" target="Decrementing" type="normal">
 
259
<arcpath arcPointType="false" id="0" xCoord="252" yCoord="537"/>
 
260
<arcpath arcPointType="false" id="1" xCoord="212" yCoord="437"/>
 
261
<arcpath arcPointType="false" id="2" xCoord="97" yCoord="322"/>
 
262
</arc>
 
263
<arc id="Decrementing to ReturnControl" inscription="[0,inf)" source="Decrementing" target="ReturnControl" type="timed">
 
264
<arcpath arcPointType="false" id="0" xCoord="100" yCoord="305"/>
 
265
<arcpath arcPointType="false" id="1" xCoord="486" yCoord="117"/>
 
266
</arc>
 
267
<arc id="ReturnControl to Control" inscription="1" source="ReturnControl" target="Control" type="normal">
 
268
<arcpath arcPointType="false" id="0" xCoord="497" yCoord="112"/>
 
269
<arcpath arcPointType="false" id="1" xCoord="822" yCoord="59"/>
 
270
</arc>
 
271
<arc id="Number to Decrerment" inscription="[0,inf)" source="Number" target="Decrerment" type="timed">
 
272
<arcpath arcPointType="false" id="0" xCoord="823" yCoord="332"/>
 
273
<arcpath arcPointType="false" id="1" xCoord="256" yCoord="558"/>
 
274
</arc>
 
275
<arc id="TakeControl to RoundControl" inscription="1" source="TakeControl" target="RoundControl" type="normal">
 
276
<arcpath arcPointType="false" id="0" xCoord="92" yCoord="86"/>
 
277
<arcpath arcPointType="false" id="1" xCoord="507" yCoord="202"/>
 
278
</arc>
 
279
<arc id="RoundControl to ReturnControl" inscription="[0,inf)" source="RoundControl" target="ReturnControl" type="timed">
 
280
<arcpath arcPointType="false" id="0" xCoord="516" yCoord="193"/>
 
281
<arcpath arcPointType="false" id="1" xCoord="492" yCoord="132"/>
 
282
</arc>
 
283
<arc id="RoundControl to OneRound" inscription="[0,inf)" source="RoundControl" target="OneRound" type="timed">
 
284
<arcpath arcPointType="false" id="0" xCoord="533" yCoord="216"/>
 
285
<arcpath arcPointType="false" id="1" xCoord="572" yCoord="245"/>
 
286
<arcpath arcPointType="false" id="2" xCoord="582" yCoord="297"/>
 
287
</arc>
 
288
<arc id="OneRound to RoundControl" inscription="1" source="OneRound" target="RoundControl" type="normal">
 
289
<arcpath arcPointType="false" id="0" xCoord="577" yCoord="306"/>
 
290
<arcpath arcPointType="false" id="1" xCoord="529" yCoord="283"/>
 
291
<arcpath arcPointType="false" id="2" xCoord="523" yCoord="221"/>
 
292
</arc>
 
293
<arc id="RoundControl to Decrerment" inscription="[0,inf):1" source="RoundControl" target="Decrerment" type="transport">
 
294
<arcpath arcPointType="false" id="0" xCoord="511" yCoord="217"/>
 
295
<arcpath arcPointType="false" id="1" xCoord="347" yCoord="392"/>
 
296
<arcpath arcPointType="false" id="2" xCoord="257" yCoord="544"/>
 
297
</arc>
 
298
<arc id="Decrerment to RoundControl" inscription="[0,inf):1" source="Decrerment" target="RoundControl" type="transport">
 
299
<arcpath arcPointType="false" id="0" xCoord="257" yCoord="551"/>
 
300
<arcpath arcPointType="false" id="1" xCoord="392" yCoord="422"/>
 
301
<arcpath arcPointType="false" id="2" xCoord="514" yCoord="219"/>
 
302
</arc>
 
303
<arc id="Number to OneRound" inscription="[0,inf)" source="Number" target="OneRound" type="timed">
 
304
<arcpath arcPointType="false" id="0" xCoord="822" yCoord="325"/>
 
305
<arcpath arcPointType="false" id="1" xCoord="587" yCoord="307"/>
 
306
</arc>
 
307
<arc id="T12 to Number" inscription="1" source="T12" target="Number" type="normal">
 
308
<arcpath arcPointType="false" id="0" xCoord="837" yCoord="447"/>
 
309
<arcpath arcPointType="false" id="1" xCoord="837" yCoord="341"/>
 
310
</arc>
 
311
<arc id="Reminder to TakeControl" inscription="[0,inf)" source="Reminder" target="TakeControl" type="tapnInhibitor">
 
312
<arcpath arcPointType="false" id="0" xCoord="824" yCoord="603"/>
 
313
<arcpath arcPointType="false" id="1" xCoord="91" yCoord="93"/>
 
314
</arc>
 
315
<arc id="Reminder to T12" inscription="[0,inf)" source="Reminder" target="T12" type="timed">
 
316
<arcpath arcPointType="false" id="0" xCoord="837" yCoord="597"/>
 
317
<arcpath arcPointType="false" id="1" xCoord="837" yCoord="477"/>
 
318
</arc>
 
319
<arc id="OneRound to Reminder" inscription="1" source="OneRound" target="Reminder" type="normal">
 
320
<arcpath arcPointType="false" id="0" xCoord="586" yCoord="317"/>
 
321
<arcpath arcPointType="false" id="1" xCoord="827" yCoord="600"/>
 
322
</arc>
 
323
<arc id="Decrementing to OneRound" inscription="[0,inf)" source="Decrementing" target="OneRound" type="timed">
 
324
<arcpath arcPointType="false" id="0" xCoord="101" yCoord="309"/>
 
325
<arcpath arcPointType="false" id="1" xCoord="251" yCoord="286"/>
 
326
<arcpath arcPointType="false" id="2" xCoord="576" yCoord="313"/>
 
327
</arc>
 
328
<arc id="OneRound to Decrementing" inscription="1" source="OneRound" target="Decrementing" type="normal">
 
329
<arcpath arcPointType="false" id="0" xCoord="576" yCoord="320"/>
 
330
<arcpath arcPointType="false" id="1" xCoord="256" yCoord="346"/>
 
331
<arcpath arcPointType="false" id="2" xCoord="101" yCoord="314"/>
 
332
</arc>
 
333
<arc id="Number to ReturnControl" inscription="[0,inf)" source="Number" target="ReturnControl" type="tapnInhibitor">
 
334
<arcpath arcPointType="false" id="0" xCoord="824" yCoord="319"/>
 
335
<arcpath arcPointType="false" id="1" xCoord="496" yCoord="122"/>
 
336
</arc>
 
337
<arc id="T12 to Control" inscription="1" source="T12" target="Control" type="normal">
 
338
<arcpath arcPointType="false" id="0" xCoord="837" yCoord="447"/>
 
339
<arcpath arcPointType="false" id="1" xCoord="959" yCoord="239"/>
 
340
<arcpath arcPointType="false" id="2" xCoord="845" yCoord="69"/>
 
341
</arc>
 
342
<arc id="Control to T12" inscription="[0,inf)" source="Control" target="T12" type="timed">
 
343
<arcpath arcPointType="false" id="0" xCoord="848" yCoord="66"/>
 
344
<arcpath arcPointType="false" id="1" xCoord="1079" yCoord="254"/>
 
345
<arcpath arcPointType="false" id="2" xCoord="841" yCoord="462"/>
 
346
</arc>
 
347
</net>
 
348
<net active="true" id="DevisionBy7" type="P/T net">
 
349
<place id="Control" initialMarking="1" invariant="&lt; inf" markingOffsetX="0.0" markingOffsetY="0.0" name="Control" nameOffsetX="-5.0" nameOffsetY="34.0" positionX="825.0" positionY="45.0"/>
 
350
<place id="Decrementing" initialMarking="0" invariant="&lt;= 1" markingOffsetX="0.0" markingOffsetY="0.0" name="Decrementing" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="75.0" positionY="300.0"/>
 
351
<place id="Number" initialMarking="32" invariant="&lt; inf" markingOffsetX="0.0" markingOffsetY="0.0" name="Number" nameOffsetX="-1.0" nameOffsetY="33.0" positionX="825.0" positionY="315.0"/>
 
352
<place id="RoundControl" initialMarking="0" invariant="&lt;= 7" markingOffsetX="0.0" markingOffsetY="0.0" name="RoundControl" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="510.0" positionY="195.0"/>
 
353
<place id="Reminder" initialMarking="0" invariant="&lt; inf" markingOffsetX="0.0" markingOffsetY="0.0" name="Reminder" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="825.0" positionY="600.0"/>
 
354
<transition angle="0" id="TakeControl" infiniteServer="false" name="TakeControl" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="75.0" positionY="75.0" priority="1" timed="true"/>
 
355
<transition angle="0" id="Decrerment" infiniteServer="false" name="Decrerment" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="240.0" positionY="540.0" priority="1" timed="true"/>
 
356
<transition angle="0" id="ReturnControl" infiniteServer="false" name="ReturnControl" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="480.0" positionY="105.0" priority="1" timed="true"/>
 
357
<transition angle="0" id="OneRound" infiniteServer="false" name="OneRound" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="570.0" positionY="300.0" priority="1" timed="true"/>
 
358
<transition angle="0" id="T12" infiniteServer="false" name="T12" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="825.0" positionY="450.0" priority="1" timed="true"/>
 
359
<arc id="Control to TakeControl" inscription="[0,inf)" source="Control" target="TakeControl" type="timed">
 
360
<arcpath arcPointType="false" id="0" xCoord="822" yCoord="57"/>
 
361
<arcpath arcPointType="false" id="1" xCoord="92" yCoord="79"/>
 
362
</arc>
 
363
<arc id="TakeControl to Decrementing" inscription="1" source="TakeControl" target="Decrementing" type="normal">
 
364
<arcpath arcPointType="false" id="0" xCoord="87" yCoord="102"/>
 
365
<arcpath arcPointType="false" id="1" xCoord="87" yCoord="297"/>
 
366
</arc>
 
367
<arc id="Decrementing to Decrerment" inscription="[0,inf)" source="Decrementing" target="Decrerment" type="timed">
 
368
<arcpath arcPointType="false" id="0" xCoord="91" yCoord="326"/>
 
369
<arcpath arcPointType="false" id="1" xCoord="137" yCoord="482"/>
 
370
<arcpath arcPointType="false" id="2" xCoord="246" yCoord="552"/>
 
371
</arc>
 
372
<arc id="Decrerment to Decrementing" inscription="1" source="Decrerment" target="Decrementing" type="normal">
 
373
<arcpath arcPointType="false" id="0" xCoord="252" yCoord="537"/>
 
374
<arcpath arcPointType="false" id="1" xCoord="212" yCoord="437"/>
 
375
<arcpath arcPointType="false" id="2" xCoord="97" yCoord="322"/>
 
376
</arc>
 
377
<arc id="Decrementing to ReturnControl" inscription="[0,inf)" source="Decrementing" target="ReturnControl" type="timed">
 
378
<arcpath arcPointType="false" id="0" xCoord="100" yCoord="305"/>
 
379
<arcpath arcPointType="false" id="1" xCoord="486" yCoord="117"/>
 
380
</arc>
 
381
<arc id="ReturnControl to Control" inscription="1" source="ReturnControl" target="Control" type="normal">
 
382
<arcpath arcPointType="false" id="0" xCoord="497" yCoord="112"/>
 
383
<arcpath arcPointType="false" id="1" xCoord="822" yCoord="59"/>
 
384
</arc>
 
385
<arc id="Number to Decrerment" inscription="[0,inf)" source="Number" target="Decrerment" type="timed">
 
386
<arcpath arcPointType="false" id="0" xCoord="823" yCoord="332"/>
 
387
<arcpath arcPointType="false" id="1" xCoord="256" yCoord="558"/>
 
388
</arc>
 
389
<arc id="TakeControl to RoundControl" inscription="1" source="TakeControl" target="RoundControl" type="normal">
 
390
<arcpath arcPointType="false" id="0" xCoord="92" yCoord="86"/>
 
391
<arcpath arcPointType="false" id="1" xCoord="507" yCoord="202"/>
 
392
</arc>
 
393
<arc id="RoundControl to ReturnControl" inscription="[0,inf)" source="RoundControl" target="ReturnControl" type="timed">
 
394
<arcpath arcPointType="false" id="0" xCoord="516" yCoord="193"/>
 
395
<arcpath arcPointType="false" id="1" xCoord="492" yCoord="132"/>
 
396
</arc>
 
397
<arc id="RoundControl to OneRound" inscription="[0,inf)" source="RoundControl" target="OneRound" type="timed">
 
398
<arcpath arcPointType="false" id="0" xCoord="533" yCoord="216"/>
 
399
<arcpath arcPointType="false" id="1" xCoord="572" yCoord="245"/>
 
400
<arcpath arcPointType="false" id="2" xCoord="582" yCoord="297"/>
 
401
</arc>
 
402
<arc id="OneRound to RoundControl" inscription="1" source="OneRound" target="RoundControl" type="normal">
 
403
<arcpath arcPointType="false" id="0" xCoord="577" yCoord="306"/>
 
404
<arcpath arcPointType="false" id="1" xCoord="529" yCoord="283"/>
 
405
<arcpath arcPointType="false" id="2" xCoord="523" yCoord="221"/>
 
406
</arc>
 
407
<arc id="RoundControl to Decrerment" inscription="[0,inf):1" source="RoundControl" target="Decrerment" type="transport">
 
408
<arcpath arcPointType="false" id="0" xCoord="511" yCoord="217"/>
 
409
<arcpath arcPointType="false" id="1" xCoord="347" yCoord="392"/>
 
410
<arcpath arcPointType="false" id="2" xCoord="257" yCoord="544"/>
 
411
</arc>
 
412
<arc id="Decrerment to RoundControl" inscription="[0,inf):1" source="Decrerment" target="RoundControl" type="transport">
 
413
<arcpath arcPointType="false" id="0" xCoord="257" yCoord="551"/>
 
414
<arcpath arcPointType="false" id="1" xCoord="392" yCoord="422"/>
 
415
<arcpath arcPointType="false" id="2" xCoord="514" yCoord="219"/>
 
416
</arc>
 
417
<arc id="Number to OneRound" inscription="[0,inf)" source="Number" target="OneRound" type="timed">
 
418
<arcpath arcPointType="false" id="0" xCoord="822" yCoord="325"/>
 
419
<arcpath arcPointType="false" id="1" xCoord="587" yCoord="307"/>
 
420
</arc>
 
421
<arc id="T12 to Number" inscription="1" source="T12" target="Number" type="normal">
 
422
<arcpath arcPointType="false" id="0" xCoord="837" yCoord="447"/>
 
423
<arcpath arcPointType="false" id="1" xCoord="837" yCoord="341"/>
 
424
</arc>
 
425
<arc id="Reminder to TakeControl" inscription="[0,inf)" source="Reminder" target="TakeControl" type="tapnInhibitor">
 
426
<arcpath arcPointType="false" id="0" xCoord="824" yCoord="603"/>
 
427
<arcpath arcPointType="false" id="1" xCoord="91" yCoord="93"/>
 
428
</arc>
 
429
<arc id="Reminder to T12" inscription="[0,inf)" source="Reminder" target="T12" type="timed">
 
430
<arcpath arcPointType="false" id="0" xCoord="837" yCoord="597"/>
 
431
<arcpath arcPointType="false" id="1" xCoord="837" yCoord="477"/>
 
432
</arc>
 
433
<arc id="OneRound to Reminder" inscription="1" source="OneRound" target="Reminder" type="normal">
 
434
<arcpath arcPointType="false" id="0" xCoord="586" yCoord="317"/>
 
435
<arcpath arcPointType="false" id="1" xCoord="827" yCoord="600"/>
 
436
</arc>
 
437
<arc id="Decrementing to OneRound" inscription="[0,inf)" source="Decrementing" target="OneRound" type="timed">
 
438
<arcpath arcPointType="false" id="0" xCoord="101" yCoord="309"/>
 
439
<arcpath arcPointType="false" id="1" xCoord="251" yCoord="286"/>
 
440
<arcpath arcPointType="false" id="2" xCoord="576" yCoord="313"/>
 
441
</arc>
 
442
<arc id="OneRound to Decrementing" inscription="1" source="OneRound" target="Decrementing" type="normal">
 
443
<arcpath arcPointType="false" id="0" xCoord="576" yCoord="320"/>
 
444
<arcpath arcPointType="false" id="1" xCoord="256" yCoord="346"/>
 
445
<arcpath arcPointType="false" id="2" xCoord="101" yCoord="314"/>
 
446
</arc>
 
447
<arc id="Number to ReturnControl" inscription="[0,inf)" source="Number" target="ReturnControl" type="tapnInhibitor">
 
448
<arcpath arcPointType="false" id="0" xCoord="824" yCoord="319"/>
 
449
<arcpath arcPointType="false" id="1" xCoord="496" yCoord="122"/>
 
450
</arc>
 
451
<arc id="T12 to Control" inscription="1" source="T12" target="Control" type="normal">
 
452
<arcpath arcPointType="false" id="0" xCoord="842" yCoord="457"/>
 
453
<arcpath arcPointType="false" id="1" xCoord="974" yCoord="254"/>
 
454
<arcpath arcPointType="false" id="2" xCoord="845" yCoord="69"/>
 
455
</arc>
 
456
<arc id="Control to T12" inscription="[0,inf)" source="Control" target="T12" type="timed">
 
457
<arcpath arcPointType="false" id="0" xCoord="848" yCoord="66"/>
 
458
<arcpath arcPointType="false" id="1" xCoord="1094" yCoord="254"/>
 
459
<arcpath arcPointType="false" id="2" xCoord="841" yCoord="467"/>
 
460
</arc>
 
461
</net>
 
462
<net active="true" id="DevisionBy11" type="P/T net">
 
463
<place id="Control" initialMarking="1" invariant="&lt; inf" markingOffsetX="0.0" markingOffsetY="0.0" name="Control" nameOffsetX="-5.0" nameOffsetY="34.0" positionX="825.0" positionY="45.0"/>
 
464
<place id="Decrementing" initialMarking="0" invariant="&lt;= 1" markingOffsetX="0.0" markingOffsetY="0.0" name="Decrementing" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="75.0" positionY="300.0"/>
 
465
<place id="Number" initialMarking="32" invariant="&lt; inf" markingOffsetX="0.0" markingOffsetY="0.0" name="Number" nameOffsetX="-1.0" nameOffsetY="33.0" positionX="825.0" positionY="315.0"/>
 
466
<place id="RoundControl" initialMarking="0" invariant="&lt;= 11" markingOffsetX="0.0" markingOffsetY="0.0" name="RoundControl" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="510.0" positionY="195.0"/>
 
467
<place id="Reminder" initialMarking="0" invariant="&lt; inf" markingOffsetX="0.0" markingOffsetY="0.0" name="Reminder" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="825.0" positionY="600.0"/>
 
468
<transition angle="0" id="TakeControl" infiniteServer="false" name="TakeControl" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="75.0" positionY="75.0" priority="1" timed="true"/>
 
469
<transition angle="0" id="Decrerment" infiniteServer="false" name="Decrerment" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="240.0" positionY="540.0" priority="1" timed="true"/>
 
470
<transition angle="0" id="ReturnControl" infiniteServer="false" name="ReturnControl" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="480.0" positionY="105.0" priority="1" timed="true"/>
 
471
<transition angle="0" id="OneRound" infiniteServer="false" name="OneRound" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="570.0" positionY="300.0" priority="1" timed="true"/>
 
472
<transition angle="0" id="T12" infiniteServer="false" name="T12" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="825.0" positionY="450.0" priority="1" timed="true"/>
 
473
<arc id="Control to TakeControl" inscription="[0,inf)" source="Control" target="TakeControl" type="timed">
 
474
<arcpath arcPointType="false" id="0" xCoord="822" yCoord="57"/>
 
475
<arcpath arcPointType="false" id="1" xCoord="92" yCoord="79"/>
 
476
</arc>
 
477
<arc id="TakeControl to Decrementing" inscription="1" source="TakeControl" target="Decrementing" type="normal">
 
478
<arcpath arcPointType="false" id="0" xCoord="87" yCoord="102"/>
 
479
<arcpath arcPointType="false" id="1" xCoord="87" yCoord="297"/>
 
480
</arc>
 
481
<arc id="Decrementing to Decrerment" inscription="[0,inf)" source="Decrementing" target="Decrerment" type="timed">
 
482
<arcpath arcPointType="false" id="0" xCoord="91" yCoord="326"/>
 
483
<arcpath arcPointType="false" id="1" xCoord="137" yCoord="482"/>
 
484
<arcpath arcPointType="false" id="2" xCoord="246" yCoord="552"/>
 
485
</arc>
 
486
<arc id="Decrerment to Decrementing" inscription="1" source="Decrerment" target="Decrementing" type="normal">
 
487
<arcpath arcPointType="false" id="0" xCoord="252" yCoord="537"/>
 
488
<arcpath arcPointType="false" id="1" xCoord="212" yCoord="437"/>
 
489
<arcpath arcPointType="false" id="2" xCoord="97" yCoord="322"/>
 
490
</arc>
 
491
<arc id="Decrementing to ReturnControl" inscription="[0,inf)" source="Decrementing" target="ReturnControl" type="timed">
 
492
<arcpath arcPointType="false" id="0" xCoord="100" yCoord="305"/>
 
493
<arcpath arcPointType="false" id="1" xCoord="486" yCoord="117"/>
 
494
</arc>
 
495
<arc id="ReturnControl to Control" inscription="1" source="ReturnControl" target="Control" type="normal">
 
496
<arcpath arcPointType="false" id="0" xCoord="497" yCoord="112"/>
 
497
<arcpath arcPointType="false" id="1" xCoord="822" yCoord="59"/>
 
498
</arc>
 
499
<arc id="Number to Decrerment" inscription="[0,inf)" source="Number" target="Decrerment" type="timed">
 
500
<arcpath arcPointType="false" id="0" xCoord="823" yCoord="332"/>
 
501
<arcpath arcPointType="false" id="1" xCoord="256" yCoord="558"/>
 
502
</arc>
 
503
<arc id="TakeControl to RoundControl" inscription="1" source="TakeControl" target="RoundControl" type="normal">
 
504
<arcpath arcPointType="false" id="0" xCoord="92" yCoord="86"/>
 
505
<arcpath arcPointType="false" id="1" xCoord="507" yCoord="202"/>
 
506
</arc>
 
507
<arc id="RoundControl to ReturnControl" inscription="[0,inf)" source="RoundControl" target="ReturnControl" type="timed">
 
508
<arcpath arcPointType="false" id="0" xCoord="516" yCoord="193"/>
 
509
<arcpath arcPointType="false" id="1" xCoord="492" yCoord="132"/>
 
510
</arc>
 
511
<arc id="RoundControl to OneRound" inscription="[0,inf)" source="RoundControl" target="OneRound" type="timed">
 
512
<arcpath arcPointType="false" id="0" xCoord="533" yCoord="216"/>
 
513
<arcpath arcPointType="false" id="1" xCoord="572" yCoord="245"/>
 
514
<arcpath arcPointType="false" id="2" xCoord="582" yCoord="297"/>
 
515
</arc>
 
516
<arc id="OneRound to RoundControl" inscription="1" source="OneRound" target="RoundControl" type="normal">
 
517
<arcpath arcPointType="false" id="0" xCoord="577" yCoord="306"/>
 
518
<arcpath arcPointType="false" id="1" xCoord="529" yCoord="283"/>
 
519
<arcpath arcPointType="false" id="2" xCoord="523" yCoord="221"/>
 
520
</arc>
 
521
<arc id="RoundControl to Decrerment" inscription="[0,inf):1" source="RoundControl" target="Decrerment" type="transport">
 
522
<arcpath arcPointType="false" id="0" xCoord="511" yCoord="217"/>
 
523
<arcpath arcPointType="false" id="1" xCoord="347" yCoord="392"/>
 
524
<arcpath arcPointType="false" id="2" xCoord="257" yCoord="544"/>
 
525
</arc>
 
526
<arc id="Decrerment to RoundControl" inscription="[0,inf):1" source="Decrerment" target="RoundControl" type="transport">
 
527
<arcpath arcPointType="false" id="0" xCoord="257" yCoord="551"/>
 
528
<arcpath arcPointType="false" id="1" xCoord="392" yCoord="422"/>
 
529
<arcpath arcPointType="false" id="2" xCoord="514" yCoord="219"/>
 
530
</arc>
 
531
<arc id="Number to OneRound" inscription="[0,inf)" source="Number" target="OneRound" type="timed">
 
532
<arcpath arcPointType="false" id="0" xCoord="822" yCoord="325"/>
 
533
<arcpath arcPointType="false" id="1" xCoord="587" yCoord="307"/>
 
534
</arc>
 
535
<arc id="T12 to Number" inscription="1" source="T12" target="Number" type="normal">
 
536
<arcpath arcPointType="false" id="0" xCoord="837" yCoord="447"/>
 
537
<arcpath arcPointType="false" id="1" xCoord="837" yCoord="341"/>
 
538
</arc>
 
539
<arc id="Reminder to TakeControl" inscription="[0,inf)" source="Reminder" target="TakeControl" type="tapnInhibitor">
 
540
<arcpath arcPointType="false" id="0" xCoord="824" yCoord="603"/>
 
541
<arcpath arcPointType="false" id="1" xCoord="91" yCoord="93"/>
 
542
</arc>
 
543
<arc id="Reminder to T12" inscription="[0,inf)" source="Reminder" target="T12" type="timed">
 
544
<arcpath arcPointType="false" id="0" xCoord="837" yCoord="597"/>
 
545
<arcpath arcPointType="false" id="1" xCoord="837" yCoord="477"/>
 
546
</arc>
 
547
<arc id="OneRound to Reminder" inscription="1" source="OneRound" target="Reminder" type="normal">
 
548
<arcpath arcPointType="false" id="0" xCoord="586" yCoord="317"/>
 
549
<arcpath arcPointType="false" id="1" xCoord="827" yCoord="600"/>
 
550
</arc>
 
551
<arc id="Decrementing to OneRound" inscription="[0,inf)" source="Decrementing" target="OneRound" type="timed">
 
552
<arcpath arcPointType="false" id="0" xCoord="101" yCoord="309"/>
 
553
<arcpath arcPointType="false" id="1" xCoord="251" yCoord="286"/>
 
554
<arcpath arcPointType="false" id="2" xCoord="576" yCoord="313"/>
 
555
</arc>
 
556
<arc id="OneRound to Decrementing" inscription="1" source="OneRound" target="Decrementing" type="normal">
 
557
<arcpath arcPointType="false" id="0" xCoord="576" yCoord="320"/>
 
558
<arcpath arcPointType="false" id="1" xCoord="256" yCoord="346"/>
 
559
<arcpath arcPointType="false" id="2" xCoord="101" yCoord="314"/>
 
560
</arc>
 
561
<arc id="Number to ReturnControl" inscription="[0,inf)" source="Number" target="ReturnControl" type="tapnInhibitor">
 
562
<arcpath arcPointType="false" id="0" xCoord="824" yCoord="319"/>
 
563
<arcpath arcPointType="false" id="1" xCoord="496" yCoord="122"/>
 
564
</arc>
 
565
<arc id="T12 to Control" inscription="1" source="T12" target="Control" type="normal">
 
566
<arcpath arcPointType="false" id="0" xCoord="842" yCoord="457"/>
 
567
<arcpath arcPointType="false" id="1" xCoord="974" yCoord="254"/>
 
568
<arcpath arcPointType="false" id="2" xCoord="845" yCoord="69"/>
 
569
</arc>
 
570
<arc id="Control to T12" inscription="[0,inf)" source="Control" target="T12" type="timed">
 
571
<arcpath arcPointType="false" id="0" xCoord="848" yCoord="66"/>
 
572
<arcpath arcPointType="false" id="1" xCoord="1094" yCoord="254"/>
 
573
<arcpath arcPointType="false" id="2" xCoord="841" yCoord="467"/>
 
574
</arc>
 
575
</net>
 
576
<net active="true" id="DevisionBy13" type="P/T net">
 
577
<place id="Control" initialMarking="1" invariant="&lt; inf" markingOffsetX="0.0" markingOffsetY="0.0" name="Control" nameOffsetX="-5.0" nameOffsetY="34.0" positionX="825.0" positionY="45.0"/>
 
578
<place id="Decrementing" initialMarking="0" invariant="&lt;= 1" markingOffsetX="0.0" markingOffsetY="0.0" name="Decrementing" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="75.0" positionY="300.0"/>
 
579
<place id="Number" initialMarking="32" invariant="&lt; inf" markingOffsetX="0.0" markingOffsetY="0.0" name="Number" nameOffsetX="-1.0" nameOffsetY="33.0" positionX="825.0" positionY="315.0"/>
 
580
<place id="RoundControl" initialMarking="0" invariant="&lt;= 13" markingOffsetX="0.0" markingOffsetY="0.0" name="RoundControl" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="510.0" positionY="195.0"/>
 
581
<place id="Reminder" initialMarking="0" invariant="&lt; inf" markingOffsetX="0.0" markingOffsetY="0.0" name="Reminder" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="825.0" positionY="600.0"/>
 
582
<transition angle="0" id="TakeControl" infiniteServer="false" name="TakeControl" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="75.0" positionY="75.0" priority="1" timed="true"/>
 
583
<transition angle="0" id="Decrerment" infiniteServer="false" name="Decrerment" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="240.0" positionY="540.0" priority="1" timed="true"/>
 
584
<transition angle="0" id="ReturnControl" infiniteServer="false" name="ReturnControl" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="480.0" positionY="105.0" priority="1" timed="true"/>
 
585
<transition angle="0" id="OneRound" infiniteServer="false" name="OneRound" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="570.0" positionY="300.0" priority="1" timed="true"/>
 
586
<transition angle="0" id="T12" infiniteServer="false" name="T12" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="825.0" positionY="450.0" priority="1" timed="true"/>
 
587
<arc id="Control to TakeControl" inscription="[0,inf)" source="Control" target="TakeControl" type="timed">
 
588
<arcpath arcPointType="false" id="0" xCoord="822" yCoord="57"/>
 
589
<arcpath arcPointType="false" id="1" xCoord="92" yCoord="79"/>
 
590
</arc>
 
591
<arc id="TakeControl to Decrementing" inscription="1" source="TakeControl" target="Decrementing" type="normal">
 
592
<arcpath arcPointType="false" id="0" xCoord="87" yCoord="102"/>
 
593
<arcpath arcPointType="false" id="1" xCoord="87" yCoord="297"/>
 
594
</arc>
 
595
<arc id="Decrementing to Decrerment" inscription="[0,inf)" source="Decrementing" target="Decrerment" type="timed">
 
596
<arcpath arcPointType="false" id="0" xCoord="91" yCoord="326"/>
 
597
<arcpath arcPointType="false" id="1" xCoord="137" yCoord="482"/>
 
598
<arcpath arcPointType="false" id="2" xCoord="246" yCoord="552"/>
 
599
</arc>
 
600
<arc id="Decrerment to Decrementing" inscription="1" source="Decrerment" target="Decrementing" type="normal">
 
601
<arcpath arcPointType="false" id="0" xCoord="252" yCoord="537"/>
 
602
<arcpath arcPointType="false" id="1" xCoord="212" yCoord="437"/>
 
603
<arcpath arcPointType="false" id="2" xCoord="97" yCoord="322"/>
 
604
</arc>
 
605
<arc id="Decrementing to ReturnControl" inscription="[0,inf)" source="Decrementing" target="ReturnControl" type="timed">
 
606
<arcpath arcPointType="false" id="0" xCoord="100" yCoord="305"/>
 
607
<arcpath arcPointType="false" id="1" xCoord="486" yCoord="117"/>
 
608
</arc>
 
609
<arc id="ReturnControl to Control" inscription="1" source="ReturnControl" target="Control" type="normal">
 
610
<arcpath arcPointType="false" id="0" xCoord="497" yCoord="112"/>
 
611
<arcpath arcPointType="false" id="1" xCoord="822" yCoord="59"/>
 
612
</arc>
 
613
<arc id="Number to Decrerment" inscription="[0,inf)" source="Number" target="Decrerment" type="timed">
 
614
<arcpath arcPointType="false" id="0" xCoord="823" yCoord="332"/>
 
615
<arcpath arcPointType="false" id="1" xCoord="256" yCoord="558"/>
 
616
</arc>
 
617
<arc id="TakeControl to RoundControl" inscription="1" source="TakeControl" target="RoundControl" type="normal">
 
618
<arcpath arcPointType="false" id="0" xCoord="92" yCoord="86"/>
 
619
<arcpath arcPointType="false" id="1" xCoord="507" yCoord="202"/>
 
620
</arc>
 
621
<arc id="RoundControl to ReturnControl" inscription="[0,inf)" source="RoundControl" target="ReturnControl" type="timed">
 
622
<arcpath arcPointType="false" id="0" xCoord="516" yCoord="193"/>
 
623
<arcpath arcPointType="false" id="1" xCoord="492" yCoord="132"/>
 
624
</arc>
 
625
<arc id="RoundControl to OneRound" inscription="[0,inf)" source="RoundControl" target="OneRound" type="timed">
 
626
<arcpath arcPointType="false" id="0" xCoord="533" yCoord="216"/>
 
627
<arcpath arcPointType="false" id="1" xCoord="572" yCoord="245"/>
 
628
<arcpath arcPointType="false" id="2" xCoord="582" yCoord="297"/>
 
629
</arc>
 
630
<arc id="OneRound to RoundControl" inscription="1" source="OneRound" target="RoundControl" type="normal">
 
631
<arcpath arcPointType="false" id="0" xCoord="577" yCoord="306"/>
 
632
<arcpath arcPointType="false" id="1" xCoord="529" yCoord="283"/>
 
633
<arcpath arcPointType="false" id="2" xCoord="523" yCoord="221"/>
 
634
</arc>
 
635
<arc id="RoundControl to Decrerment" inscription="[0,inf):1" source="RoundControl" target="Decrerment" type="transport">
 
636
<arcpath arcPointType="false" id="0" xCoord="511" yCoord="217"/>
 
637
<arcpath arcPointType="false" id="1" xCoord="347" yCoord="392"/>
 
638
<arcpath arcPointType="false" id="2" xCoord="257" yCoord="544"/>
 
639
</arc>
 
640
<arc id="Decrerment to RoundControl" inscription="[0,inf):1" source="Decrerment" target="RoundControl" type="transport">
 
641
<arcpath arcPointType="false" id="0" xCoord="257" yCoord="551"/>
 
642
<arcpath arcPointType="false" id="1" xCoord="392" yCoord="422"/>
 
643
<arcpath arcPointType="false" id="2" xCoord="514" yCoord="219"/>
 
644
</arc>
 
645
<arc id="Number to OneRound" inscription="[0,inf)" source="Number" target="OneRound" type="timed">
 
646
<arcpath arcPointType="false" id="0" xCoord="822" yCoord="325"/>
 
647
<arcpath arcPointType="false" id="1" xCoord="587" yCoord="307"/>
 
648
</arc>
 
649
<arc id="T12 to Number" inscription="1" source="T12" target="Number" type="normal">
 
650
<arcpath arcPointType="false" id="0" xCoord="837" yCoord="447"/>
 
651
<arcpath arcPointType="false" id="1" xCoord="837" yCoord="341"/>
 
652
</arc>
 
653
<arc id="Reminder to TakeControl" inscription="[0,inf)" source="Reminder" target="TakeControl" type="tapnInhibitor">
 
654
<arcpath arcPointType="false" id="0" xCoord="824" yCoord="603"/>
 
655
<arcpath arcPointType="false" id="1" xCoord="91" yCoord="93"/>
 
656
</arc>
 
657
<arc id="Reminder to T12" inscription="[0,inf)" source="Reminder" target="T12" type="timed">
 
658
<arcpath arcPointType="false" id="0" xCoord="837" yCoord="597"/>
 
659
<arcpath arcPointType="false" id="1" xCoord="837" yCoord="477"/>
 
660
</arc>
 
661
<arc id="OneRound to Reminder" inscription="1" source="OneRound" target="Reminder" type="normal">
 
662
<arcpath arcPointType="false" id="0" xCoord="586" yCoord="317"/>
 
663
<arcpath arcPointType="false" id="1" xCoord="827" yCoord="600"/>
 
664
</arc>
 
665
<arc id="Decrementing to OneRound" inscription="[0,inf)" source="Decrementing" target="OneRound" type="timed">
 
666
<arcpath arcPointType="false" id="0" xCoord="101" yCoord="309"/>
 
667
<arcpath arcPointType="false" id="1" xCoord="251" yCoord="286"/>
 
668
<arcpath arcPointType="false" id="2" xCoord="576" yCoord="313"/>
 
669
</arc>
 
670
<arc id="OneRound to Decrementing" inscription="1" source="OneRound" target="Decrementing" type="normal">
 
671
<arcpath arcPointType="false" id="0" xCoord="576" yCoord="320"/>
 
672
<arcpath arcPointType="false" id="1" xCoord="256" yCoord="346"/>
 
673
<arcpath arcPointType="false" id="2" xCoord="101" yCoord="314"/>
 
674
</arc>
 
675
<arc id="Number to ReturnControl" inscription="[0,inf)" source="Number" target="ReturnControl" type="tapnInhibitor">
 
676
<arcpath arcPointType="false" id="0" xCoord="824" yCoord="319"/>
 
677
<arcpath arcPointType="false" id="1" xCoord="496" yCoord="122"/>
 
678
</arc>
 
679
<arc id="T12 to Control" inscription="1" source="T12" target="Control" type="normal">
 
680
<arcpath arcPointType="false" id="0" xCoord="837" yCoord="447"/>
 
681
<arcpath arcPointType="false" id="1" xCoord="944" yCoord="254"/>
 
682
<arcpath arcPointType="false" id="2" xCoord="844" yCoord="70"/>
 
683
</arc>
 
684
<arc id="Control to T12" inscription="[0,inf)" source="Control" target="T12" type="timed">
 
685
<arcpath arcPointType="false" id="0" xCoord="848" yCoord="66"/>
 
686
<arcpath arcPointType="false" id="1" xCoord="1064" yCoord="254"/>
 
687
<arcpath arcPointType="false" id="2" xCoord="841" yCoord="462"/>
 
688
</arc>
 
689
</net>
 
690
<net active="true" id="DevisionBy17" type="P/T net">
 
691
<place id="Control" initialMarking="1" invariant="&lt; inf" markingOffsetX="0.0" markingOffsetY="0.0" name="Control" nameOffsetX="-5.0" nameOffsetY="34.0" positionX="825.0" positionY="45.0"/>
 
692
<place id="Decrementing" initialMarking="0" invariant="&lt;= 1" markingOffsetX="0.0" markingOffsetY="0.0" name="Decrementing" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="75.0" positionY="300.0"/>
 
693
<place id="Number" initialMarking="32" invariant="&lt; inf" markingOffsetX="0.0" markingOffsetY="0.0" name="Number" nameOffsetX="-1.0" nameOffsetY="33.0" positionX="825.0" positionY="315.0"/>
 
694
<place id="RoundControl" initialMarking="0" invariant="&lt;= 17" markingOffsetX="0.0" markingOffsetY="0.0" name="RoundControl" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="510.0" positionY="195.0"/>
 
695
<place id="Reminder" initialMarking="0" invariant="&lt; inf" markingOffsetX="0.0" markingOffsetY="0.0" name="Reminder" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="825.0" positionY="600.0"/>
 
696
<transition angle="0" id="TakeControl" infiniteServer="false" name="TakeControl" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="75.0" positionY="75.0" priority="1" timed="true"/>
 
697
<transition angle="0" id="Decrerment" infiniteServer="false" name="Decrerment" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="240.0" positionY="540.0" priority="1" timed="true"/>
 
698
<transition angle="0" id="ReturnControl" infiniteServer="false" name="ReturnControl" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="480.0" positionY="105.0" priority="1" timed="true"/>
 
699
<transition angle="0" id="OneRound" infiniteServer="false" name="OneRound" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="570.0" positionY="300.0" priority="1" timed="true"/>
 
700
<transition angle="0" id="T12" infiniteServer="false" name="T12" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="825.0" positionY="450.0" priority="1" timed="true"/>
 
701
<arc id="Control to TakeControl" inscription="[0,inf)" source="Control" target="TakeControl" type="timed">
 
702
<arcpath arcPointType="false" id="0" xCoord="822" yCoord="57"/>
 
703
<arcpath arcPointType="false" id="1" xCoord="92" yCoord="79"/>
 
704
</arc>
 
705
<arc id="TakeControl to Decrementing" inscription="1" source="TakeControl" target="Decrementing" type="normal">
 
706
<arcpath arcPointType="false" id="0" xCoord="87" yCoord="102"/>
 
707
<arcpath arcPointType="false" id="1" xCoord="87" yCoord="297"/>
 
708
</arc>
 
709
<arc id="Decrementing to Decrerment" inscription="[0,inf)" source="Decrementing" target="Decrerment" type="timed">
 
710
<arcpath arcPointType="false" id="0" xCoord="91" yCoord="326"/>
 
711
<arcpath arcPointType="false" id="1" xCoord="137" yCoord="482"/>
 
712
<arcpath arcPointType="false" id="2" xCoord="246" yCoord="552"/>
 
713
</arc>
 
714
<arc id="Decrerment to Decrementing" inscription="1" source="Decrerment" target="Decrementing" type="normal">
 
715
<arcpath arcPointType="false" id="0" xCoord="252" yCoord="537"/>
 
716
<arcpath arcPointType="false" id="1" xCoord="212" yCoord="437"/>
 
717
<arcpath arcPointType="false" id="2" xCoord="97" yCoord="322"/>
 
718
</arc>
 
719
<arc id="Decrementing to ReturnControl" inscription="[0,inf)" source="Decrementing" target="ReturnControl" type="timed">
 
720
<arcpath arcPointType="false" id="0" xCoord="100" yCoord="305"/>
 
721
<arcpath arcPointType="false" id="1" xCoord="486" yCoord="117"/>
 
722
</arc>
 
723
<arc id="ReturnControl to Control" inscription="1" source="ReturnControl" target="Control" type="normal">
 
724
<arcpath arcPointType="false" id="0" xCoord="497" yCoord="112"/>
 
725
<arcpath arcPointType="false" id="1" xCoord="822" yCoord="59"/>
 
726
</arc>
 
727
<arc id="Number to Decrerment" inscription="[0,inf)" source="Number" target="Decrerment" type="timed">
 
728
<arcpath arcPointType="false" id="0" xCoord="823" yCoord="332"/>
 
729
<arcpath arcPointType="false" id="1" xCoord="256" yCoord="558"/>
 
730
</arc>
 
731
<arc id="TakeControl to RoundControl" inscription="1" source="TakeControl" target="RoundControl" type="normal">
 
732
<arcpath arcPointType="false" id="0" xCoord="92" yCoord="86"/>
 
733
<arcpath arcPointType="false" id="1" xCoord="507" yCoord="202"/>
 
734
</arc>
 
735
<arc id="RoundControl to ReturnControl" inscription="[0,inf)" source="RoundControl" target="ReturnControl" type="timed">
 
736
<arcpath arcPointType="false" id="0" xCoord="516" yCoord="193"/>
 
737
<arcpath arcPointType="false" id="1" xCoord="492" yCoord="132"/>
 
738
</arc>
 
739
<arc id="RoundControl to OneRound" inscription="[0,inf)" source="RoundControl" target="OneRound" type="timed">
 
740
<arcpath arcPointType="false" id="0" xCoord="533" yCoord="216"/>
 
741
<arcpath arcPointType="false" id="1" xCoord="572" yCoord="245"/>
 
742
<arcpath arcPointType="false" id="2" xCoord="582" yCoord="297"/>
 
743
</arc>
 
744
<arc id="OneRound to RoundControl" inscription="1" source="OneRound" target="RoundControl" type="normal">
 
745
<arcpath arcPointType="false" id="0" xCoord="577" yCoord="306"/>
 
746
<arcpath arcPointType="false" id="1" xCoord="529" yCoord="283"/>
 
747
<arcpath arcPointType="false" id="2" xCoord="523" yCoord="221"/>
 
748
</arc>
 
749
<arc id="RoundControl to Decrerment" inscription="[0,inf):1" source="RoundControl" target="Decrerment" type="transport">
 
750
<arcpath arcPointType="false" id="0" xCoord="511" yCoord="217"/>
 
751
<arcpath arcPointType="false" id="1" xCoord="347" yCoord="392"/>
 
752
<arcpath arcPointType="false" id="2" xCoord="257" yCoord="544"/>
 
753
</arc>
 
754
<arc id="Decrerment to RoundControl" inscription="[0,inf):1" source="Decrerment" target="RoundControl" type="transport">
 
755
<arcpath arcPointType="false" id="0" xCoord="257" yCoord="551"/>
 
756
<arcpath arcPointType="false" id="1" xCoord="392" yCoord="422"/>
 
757
<arcpath arcPointType="false" id="2" xCoord="514" yCoord="219"/>
 
758
</arc>
 
759
<arc id="Number to OneRound" inscription="[0,inf)" source="Number" target="OneRound" type="timed">
 
760
<arcpath arcPointType="false" id="0" xCoord="822" yCoord="325"/>
 
761
<arcpath arcPointType="false" id="1" xCoord="587" yCoord="307"/>
 
762
</arc>
 
763
<arc id="T12 to Number" inscription="1" source="T12" target="Number" type="normal">
 
764
<arcpath arcPointType="false" id="0" xCoord="837" yCoord="447"/>
 
765
<arcpath arcPointType="false" id="1" xCoord="837" yCoord="341"/>
 
766
</arc>
 
767
<arc id="Reminder to TakeControl" inscription="[0,inf)" source="Reminder" target="TakeControl" type="tapnInhibitor">
 
768
<arcpath arcPointType="false" id="0" xCoord="824" yCoord="603"/>
 
769
<arcpath arcPointType="false" id="1" xCoord="91" yCoord="93"/>
 
770
</arc>
 
771
<arc id="Reminder to T12" inscription="[0,inf)" source="Reminder" target="T12" type="timed">
 
772
<arcpath arcPointType="false" id="0" xCoord="837" yCoord="597"/>
 
773
<arcpath arcPointType="false" id="1" xCoord="837" yCoord="477"/>
 
774
</arc>
 
775
<arc id="OneRound to Reminder" inscription="1" source="OneRound" target="Reminder" type="normal">
 
776
<arcpath arcPointType="false" id="0" xCoord="586" yCoord="317"/>
 
777
<arcpath arcPointType="false" id="1" xCoord="827" yCoord="600"/>
 
778
</arc>
 
779
<arc id="Decrementing to OneRound" inscription="[0,inf)" source="Decrementing" target="OneRound" type="timed">
 
780
<arcpath arcPointType="false" id="0" xCoord="101" yCoord="309"/>
 
781
<arcpath arcPointType="false" id="1" xCoord="251" yCoord="286"/>
 
782
<arcpath arcPointType="false" id="2" xCoord="576" yCoord="313"/>
 
783
</arc>
 
784
<arc id="OneRound to Decrementing" inscription="1" source="OneRound" target="Decrementing" type="normal">
 
785
<arcpath arcPointType="false" id="0" xCoord="576" yCoord="320"/>
 
786
<arcpath arcPointType="false" id="1" xCoord="256" yCoord="346"/>
 
787
<arcpath arcPointType="false" id="2" xCoord="101" yCoord="314"/>
 
788
</arc>
 
789
<arc id="Number to ReturnControl" inscription="[0,inf)" source="Number" target="ReturnControl" type="tapnInhibitor">
 
790
<arcpath arcPointType="false" id="0" xCoord="824" yCoord="319"/>
 
791
<arcpath arcPointType="false" id="1" xCoord="496" yCoord="122"/>
 
792
</arc>
 
793
<arc id="T12 to Control" inscription="1" source="T12" target="Control" type="normal">
 
794
<arcpath arcPointType="false" id="0" xCoord="842" yCoord="457"/>
 
795
<arcpath arcPointType="false" id="1" xCoord="974" yCoord="239"/>
 
796
<arcpath arcPointType="false" id="2" xCoord="846" yCoord="68"/>
 
797
</arc>
 
798
<arc id="Control to T12" inscription="[0,inf)" source="Control" target="T12" type="timed">
 
799
<arcpath arcPointType="false" id="0" xCoord="849" yCoord="65"/>
 
800
<arcpath arcPointType="false" id="1" xCoord="1094" yCoord="239"/>
 
801
<arcpath arcPointType="false" id="2" xCoord="841" yCoord="467"/>
 
802
</arc>
 
803
</net>
 
804
<net active="true" id="DevisionBy19" type="P/T net">
 
805
<place id="Control" initialMarking="1" invariant="&lt; inf" markingOffsetX="0.0" markingOffsetY="0.0" name="Control" nameOffsetX="-5.0" nameOffsetY="34.0" positionX="825.0" positionY="45.0"/>
 
806
<place id="Decrementing" initialMarking="0" invariant="&lt;= 1" markingOffsetX="0.0" markingOffsetY="0.0" name="Decrementing" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="75.0" positionY="300.0"/>
 
807
<place id="Number" initialMarking="32" invariant="&lt; inf" markingOffsetX="0.0" markingOffsetY="0.0" name="Number" nameOffsetX="-1.0" nameOffsetY="33.0" positionX="825.0" positionY="315.0"/>
 
808
<place id="RoundControl" initialMarking="0" invariant="&lt;= 19" markingOffsetX="0.0" markingOffsetY="0.0" name="RoundControl" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="510.0" positionY="195.0"/>
 
809
<place id="Reminder" initialMarking="0" invariant="&lt; inf" markingOffsetX="0.0" markingOffsetY="0.0" name="Reminder" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="825.0" positionY="600.0"/>
 
810
<transition angle="0" id="TakeControl" infiniteServer="false" name="TakeControl" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="75.0" positionY="75.0" priority="1" timed="true"/>
 
811
<transition angle="0" id="Decrerment" infiniteServer="false" name="Decrerment" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="240.0" positionY="540.0" priority="1" timed="true"/>
 
812
<transition angle="0" id="ReturnControl" infiniteServer="false" name="ReturnControl" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="480.0" positionY="105.0" priority="1" timed="true"/>
 
813
<transition angle="0" id="OneRound" infiniteServer="false" name="OneRound" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="570.0" positionY="300.0" priority="1" timed="true"/>
 
814
<transition angle="0" id="T12" infiniteServer="false" name="T12" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="825.0" positionY="450.0" priority="1" timed="true"/>
 
815
<arc id="Control to TakeControl" inscription="[0,inf)" source="Control" target="TakeControl" type="timed">
 
816
<arcpath arcPointType="false" id="0" xCoord="822" yCoord="57"/>
 
817
<arcpath arcPointType="false" id="1" xCoord="92" yCoord="79"/>
 
818
</arc>
 
819
<arc id="TakeControl to Decrementing" inscription="1" source="TakeControl" target="Decrementing" type="normal">
 
820
<arcpath arcPointType="false" id="0" xCoord="87" yCoord="102"/>
 
821
<arcpath arcPointType="false" id="1" xCoord="87" yCoord="297"/>
 
822
</arc>
 
823
<arc id="Decrementing to Decrerment" inscription="[0,inf)" source="Decrementing" target="Decrerment" type="timed">
 
824
<arcpath arcPointType="false" id="0" xCoord="91" yCoord="326"/>
 
825
<arcpath arcPointType="false" id="1" xCoord="137" yCoord="482"/>
 
826
<arcpath arcPointType="false" id="2" xCoord="246" yCoord="552"/>
 
827
</arc>
 
828
<arc id="Decrerment to Decrementing" inscription="1" source="Decrerment" target="Decrementing" type="normal">
 
829
<arcpath arcPointType="false" id="0" xCoord="252" yCoord="537"/>
 
830
<arcpath arcPointType="false" id="1" xCoord="212" yCoord="437"/>
 
831
<arcpath arcPointType="false" id="2" xCoord="97" yCoord="322"/>
 
832
</arc>
 
833
<arc id="Decrementing to ReturnControl" inscription="[0,inf)" source="Decrementing" target="ReturnControl" type="timed">
 
834
<arcpath arcPointType="false" id="0" xCoord="100" yCoord="305"/>
 
835
<arcpath arcPointType="false" id="1" xCoord="486" yCoord="117"/>
 
836
</arc>
 
837
<arc id="ReturnControl to Control" inscription="1" source="ReturnControl" target="Control" type="normal">
 
838
<arcpath arcPointType="false" id="0" xCoord="497" yCoord="112"/>
 
839
<arcpath arcPointType="false" id="1" xCoord="822" yCoord="59"/>
 
840
</arc>
 
841
<arc id="Number to Decrerment" inscription="[0,inf)" source="Number" target="Decrerment" type="timed">
 
842
<arcpath arcPointType="false" id="0" xCoord="823" yCoord="332"/>
 
843
<arcpath arcPointType="false" id="1" xCoord="256" yCoord="558"/>
 
844
</arc>
 
845
<arc id="TakeControl to RoundControl" inscription="1" source="TakeControl" target="RoundControl" type="normal">
 
846
<arcpath arcPointType="false" id="0" xCoord="92" yCoord="86"/>
 
847
<arcpath arcPointType="false" id="1" xCoord="507" yCoord="202"/>
 
848
</arc>
 
849
<arc id="RoundControl to ReturnControl" inscription="[0,inf)" source="RoundControl" target="ReturnControl" type="timed">
 
850
<arcpath arcPointType="false" id="0" xCoord="516" yCoord="193"/>
 
851
<arcpath arcPointType="false" id="1" xCoord="492" yCoord="132"/>
 
852
</arc>
 
853
<arc id="RoundControl to OneRound" inscription="[0,inf)" source="RoundControl" target="OneRound" type="timed">
 
854
<arcpath arcPointType="false" id="0" xCoord="533" yCoord="216"/>
 
855
<arcpath arcPointType="false" id="1" xCoord="572" yCoord="245"/>
 
856
<arcpath arcPointType="false" id="2" xCoord="582" yCoord="297"/>
 
857
</arc>
 
858
<arc id="OneRound to RoundControl" inscription="1" source="OneRound" target="RoundControl" type="normal">
 
859
<arcpath arcPointType="false" id="0" xCoord="577" yCoord="306"/>
 
860
<arcpath arcPointType="false" id="1" xCoord="529" yCoord="283"/>
 
861
<arcpath arcPointType="false" id="2" xCoord="523" yCoord="221"/>
 
862
</arc>
 
863
<arc id="RoundControl to Decrerment" inscription="[0,inf):1" source="RoundControl" target="Decrerment" type="transport">
 
864
<arcpath arcPointType="false" id="0" xCoord="511" yCoord="217"/>
 
865
<arcpath arcPointType="false" id="1" xCoord="347" yCoord="392"/>
 
866
<arcpath arcPointType="false" id="2" xCoord="257" yCoord="544"/>
 
867
</arc>
 
868
<arc id="Decrerment to RoundControl" inscription="[0,inf):1" source="Decrerment" target="RoundControl" type="transport">
 
869
<arcpath arcPointType="false" id="0" xCoord="257" yCoord="551"/>
 
870
<arcpath arcPointType="false" id="1" xCoord="392" yCoord="422"/>
 
871
<arcpath arcPointType="false" id="2" xCoord="514" yCoord="219"/>
 
872
</arc>
 
873
<arc id="Number to OneRound" inscription="[0,inf)" source="Number" target="OneRound" type="timed">
 
874
<arcpath arcPointType="false" id="0" xCoord="822" yCoord="325"/>
 
875
<arcpath arcPointType="false" id="1" xCoord="587" yCoord="307"/>
 
876
</arc>
 
877
<arc id="T12 to Number" inscription="1" source="T12" target="Number" type="normal">
 
878
<arcpath arcPointType="false" id="0" xCoord="837" yCoord="447"/>
 
879
<arcpath arcPointType="false" id="1" xCoord="837" yCoord="341"/>
 
880
</arc>
 
881
<arc id="Reminder to TakeControl" inscription="[0,inf)" source="Reminder" target="TakeControl" type="tapnInhibitor">
 
882
<arcpath arcPointType="false" id="0" xCoord="824" yCoord="603"/>
 
883
<arcpath arcPointType="false" id="1" xCoord="91" yCoord="93"/>
 
884
</arc>
 
885
<arc id="Reminder to T12" inscription="[0,inf)" source="Reminder" target="T12" type="timed">
 
886
<arcpath arcPointType="false" id="0" xCoord="837" yCoord="597"/>
 
887
<arcpath arcPointType="false" id="1" xCoord="837" yCoord="477"/>
 
888
</arc>
 
889
<arc id="OneRound to Reminder" inscription="1" source="OneRound" target="Reminder" type="normal">
 
890
<arcpath arcPointType="false" id="0" xCoord="586" yCoord="317"/>
 
891
<arcpath arcPointType="false" id="1" xCoord="827" yCoord="600"/>
 
892
</arc>
 
893
<arc id="Decrementing to OneRound" inscription="[0,inf)" source="Decrementing" target="OneRound" type="timed">
 
894
<arcpath arcPointType="false" id="0" xCoord="101" yCoord="309"/>
 
895
<arcpath arcPointType="false" id="1" xCoord="251" yCoord="286"/>
 
896
<arcpath arcPointType="false" id="2" xCoord="576" yCoord="313"/>
 
897
</arc>
 
898
<arc id="OneRound to Decrementing" inscription="1" source="OneRound" target="Decrementing" type="normal">
 
899
<arcpath arcPointType="false" id="0" xCoord="576" yCoord="320"/>
 
900
<arcpath arcPointType="false" id="1" xCoord="256" yCoord="346"/>
 
901
<arcpath arcPointType="false" id="2" xCoord="101" yCoord="314"/>
 
902
</arc>
 
903
<arc id="Number to ReturnControl" inscription="[0,inf)" source="Number" target="ReturnControl" type="tapnInhibitor">
 
904
<arcpath arcPointType="false" id="0" xCoord="824" yCoord="319"/>
 
905
<arcpath arcPointType="false" id="1" xCoord="496" yCoord="122"/>
 
906
</arc>
 
907
<arc id="T12 to Control" inscription="1" source="T12" target="Control" type="normal">
 
908
<arcpath arcPointType="false" id="0" xCoord="837" yCoord="447"/>
 
909
<arcpath arcPointType="false" id="1" xCoord="959" yCoord="239"/>
 
910
<arcpath arcPointType="false" id="2" xCoord="845" yCoord="69"/>
 
911
</arc>
 
912
<arc id="Control to T12" inscription="[0,inf)" source="Control" target="T12" type="timed">
 
913
<arcpath arcPointType="false" id="0" xCoord="848" yCoord="66"/>
 
914
<arcpath arcPointType="false" id="1" xCoord="1064" yCoord="239"/>
 
915
<arcpath arcPointType="false" id="2" xCoord="841" yCoord="462"/>
 
916
</arc>
 
917
</net>
 
918
<net active="true" id="DevisionBy23" type="P/T net">
 
919
<place id="Control" initialMarking="1" invariant="&lt; inf" markingOffsetX="0.0" markingOffsetY="0.0" name="Control" nameOffsetX="-5.0" nameOffsetY="34.0" positionX="825.0" positionY="45.0"/>
 
920
<place id="Decrementing" initialMarking="0" invariant="&lt;= 1" markingOffsetX="0.0" markingOffsetY="0.0" name="Decrementing" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="75.0" positionY="300.0"/>
 
921
<place id="Number" initialMarking="32" invariant="&lt; inf" markingOffsetX="0.0" markingOffsetY="0.0" name="Number" nameOffsetX="-1.0" nameOffsetY="33.0" positionX="825.0" positionY="315.0"/>
 
922
<place id="RoundControl" initialMarking="0" invariant="&lt;= 23" markingOffsetX="0.0" markingOffsetY="0.0" name="RoundControl" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="510.0" positionY="195.0"/>
 
923
<place id="Reminder" initialMarking="0" invariant="&lt; inf" markingOffsetX="0.0" markingOffsetY="0.0" name="Reminder" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="825.0" positionY="600.0"/>
 
924
<transition angle="0" id="TakeControl" infiniteServer="false" name="TakeControl" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="75.0" positionY="75.0" priority="1" timed="true"/>
 
925
<transition angle="0" id="Decrerment" infiniteServer="false" name="Decrerment" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="240.0" positionY="540.0" priority="1" timed="true"/>
 
926
<transition angle="0" id="ReturnControl" infiniteServer="false" name="ReturnControl" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="480.0" positionY="105.0" priority="1" timed="true"/>
 
927
<transition angle="0" id="OneRound" infiniteServer="false" name="OneRound" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="570.0" positionY="300.0" priority="1" timed="true"/>
 
928
<transition angle="0" id="T12" infiniteServer="false" name="T12" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="825.0" positionY="450.0" priority="1" timed="true"/>
 
929
<arc id="Control to TakeControl" inscription="[0,inf)" source="Control" target="TakeControl" type="timed">
 
930
<arcpath arcPointType="false" id="0" xCoord="822" yCoord="57"/>
 
931
<arcpath arcPointType="false" id="1" xCoord="92" yCoord="79"/>
 
932
</arc>
 
933
<arc id="TakeControl to Decrementing" inscription="1" source="TakeControl" target="Decrementing" type="normal">
 
934
<arcpath arcPointType="false" id="0" xCoord="87" yCoord="102"/>
 
935
<arcpath arcPointType="false" id="1" xCoord="87" yCoord="297"/>
 
936
</arc>
 
937
<arc id="Decrementing to Decrerment" inscription="[0,inf)" source="Decrementing" target="Decrerment" type="timed">
 
938
<arcpath arcPointType="false" id="0" xCoord="91" yCoord="326"/>
 
939
<arcpath arcPointType="false" id="1" xCoord="137" yCoord="482"/>
 
940
<arcpath arcPointType="false" id="2" xCoord="246" yCoord="552"/>
 
941
</arc>
 
942
<arc id="Decrerment to Decrementing" inscription="1" source="Decrerment" target="Decrementing" type="normal">
 
943
<arcpath arcPointType="false" id="0" xCoord="252" yCoord="537"/>
 
944
<arcpath arcPointType="false" id="1" xCoord="212" yCoord="437"/>
 
945
<arcpath arcPointType="false" id="2" xCoord="97" yCoord="322"/>
 
946
</arc>
 
947
<arc id="Decrementing to ReturnControl" inscription="[0,inf)" source="Decrementing" target="ReturnControl" type="timed">
 
948
<arcpath arcPointType="false" id="0" xCoord="100" yCoord="305"/>
 
949
<arcpath arcPointType="false" id="1" xCoord="486" yCoord="117"/>
 
950
</arc>
 
951
<arc id="ReturnControl to Control" inscription="1" source="ReturnControl" target="Control" type="normal">
 
952
<arcpath arcPointType="false" id="0" xCoord="497" yCoord="112"/>
 
953
<arcpath arcPointType="false" id="1" xCoord="822" yCoord="59"/>
 
954
</arc>
 
955
<arc id="Number to Decrerment" inscription="[0,inf)" source="Number" target="Decrerment" type="timed">
 
956
<arcpath arcPointType="false" id="0" xCoord="823" yCoord="332"/>
 
957
<arcpath arcPointType="false" id="1" xCoord="256" yCoord="558"/>
 
958
</arc>
 
959
<arc id="TakeControl to RoundControl" inscription="1" source="TakeControl" target="RoundControl" type="normal">
 
960
<arcpath arcPointType="false" id="0" xCoord="92" yCoord="86"/>
 
961
<arcpath arcPointType="false" id="1" xCoord="507" yCoord="202"/>
 
962
</arc>
 
963
<arc id="RoundControl to ReturnControl" inscription="[0,inf)" source="RoundControl" target="ReturnControl" type="timed">
 
964
<arcpath arcPointType="false" id="0" xCoord="516" yCoord="193"/>
 
965
<arcpath arcPointType="false" id="1" xCoord="492" yCoord="132"/>
 
966
</arc>
 
967
<arc id="RoundControl to OneRound" inscription="[0,inf)" source="RoundControl" target="OneRound" type="timed">
 
968
<arcpath arcPointType="false" id="0" xCoord="533" yCoord="216"/>
 
969
<arcpath arcPointType="false" id="1" xCoord="572" yCoord="245"/>
 
970
<arcpath arcPointType="false" id="2" xCoord="582" yCoord="297"/>
 
971
</arc>
 
972
<arc id="OneRound to RoundControl" inscription="1" source="OneRound" target="RoundControl" type="normal">
 
973
<arcpath arcPointType="false" id="0" xCoord="577" yCoord="306"/>
 
974
<arcpath arcPointType="false" id="1" xCoord="529" yCoord="283"/>
 
975
<arcpath arcPointType="false" id="2" xCoord="523" yCoord="221"/>
 
976
</arc>
 
977
<arc id="RoundControl to Decrerment" inscription="[0,inf):1" source="RoundControl" target="Decrerment" type="transport">
 
978
<arcpath arcPointType="false" id="0" xCoord="511" yCoord="217"/>
 
979
<arcpath arcPointType="false" id="1" xCoord="347" yCoord="392"/>
 
980
<arcpath arcPointType="false" id="2" xCoord="257" yCoord="544"/>
 
981
</arc>
 
982
<arc id="Decrerment to RoundControl" inscription="[0,inf):1" source="Decrerment" target="RoundControl" type="transport">
 
983
<arcpath arcPointType="false" id="0" xCoord="257" yCoord="551"/>
 
984
<arcpath arcPointType="false" id="1" xCoord="392" yCoord="422"/>
 
985
<arcpath arcPointType="false" id="2" xCoord="514" yCoord="219"/>
 
986
</arc>
 
987
<arc id="Number to OneRound" inscription="[0,inf)" source="Number" target="OneRound" type="timed">
 
988
<arcpath arcPointType="false" id="0" xCoord="822" yCoord="325"/>
 
989
<arcpath arcPointType="false" id="1" xCoord="587" yCoord="307"/>
 
990
</arc>
 
991
<arc id="T12 to Number" inscription="1" source="T12" target="Number" type="normal">
 
992
<arcpath arcPointType="false" id="0" xCoord="837" yCoord="447"/>
 
993
<arcpath arcPointType="false" id="1" xCoord="837" yCoord="341"/>
 
994
</arc>
 
995
<arc id="Reminder to TakeControl" inscription="[0,inf)" source="Reminder" target="TakeControl" type="tapnInhibitor">
 
996
<arcpath arcPointType="false" id="0" xCoord="824" yCoord="603"/>
 
997
<arcpath arcPointType="false" id="1" xCoord="91" yCoord="93"/>
 
998
</arc>
 
999
<arc id="Reminder to T12" inscription="[0,inf)" source="Reminder" target="T12" type="timed">
 
1000
<arcpath arcPointType="false" id="0" xCoord="837" yCoord="597"/>
 
1001
<arcpath arcPointType="false" id="1" xCoord="837" yCoord="477"/>
 
1002
</arc>
 
1003
<arc id="OneRound to Reminder" inscription="1" source="OneRound" target="Reminder" type="normal">
 
1004
<arcpath arcPointType="false" id="0" xCoord="586" yCoord="317"/>
 
1005
<arcpath arcPointType="false" id="1" xCoord="827" yCoord="600"/>
 
1006
</arc>
 
1007
<arc id="Decrementing to OneRound" inscription="[0,inf)" source="Decrementing" target="OneRound" type="timed">
 
1008
<arcpath arcPointType="false" id="0" xCoord="101" yCoord="309"/>
 
1009
<arcpath arcPointType="false" id="1" xCoord="251" yCoord="286"/>
 
1010
<arcpath arcPointType="false" id="2" xCoord="576" yCoord="313"/>
 
1011
</arc>
 
1012
<arc id="OneRound to Decrementing" inscription="1" source="OneRound" target="Decrementing" type="normal">
 
1013
<arcpath arcPointType="false" id="0" xCoord="576" yCoord="320"/>
 
1014
<arcpath arcPointType="false" id="1" xCoord="256" yCoord="346"/>
 
1015
<arcpath arcPointType="false" id="2" xCoord="101" yCoord="314"/>
 
1016
</arc>
 
1017
<arc id="Number to ReturnControl" inscription="[0,inf)" source="Number" target="ReturnControl" type="tapnInhibitor">
 
1018
<arcpath arcPointType="false" id="0" xCoord="824" yCoord="319"/>
 
1019
<arcpath arcPointType="false" id="1" xCoord="496" yCoord="122"/>
 
1020
</arc>
 
1021
<arc id="T12 to Control" inscription="1" source="T12" target="Control" type="normal">
 
1022
<arcpath arcPointType="false" id="0" xCoord="837" yCoord="447"/>
 
1023
<arcpath arcPointType="false" id="1" xCoord="959" yCoord="239"/>
 
1024
<arcpath arcPointType="false" id="2" xCoord="845" yCoord="69"/>
 
1025
</arc>
 
1026
<arc id="Control to T12" inscription="[0,inf)" source="Control" target="T12" type="timed">
 
1027
<arcpath arcPointType="false" id="0" xCoord="848" yCoord="66"/>
 
1028
<arcpath arcPointType="false" id="1" xCoord="1079" yCoord="239"/>
 
1029
<arcpath arcPointType="false" id="2" xCoord="841" yCoord="462"/>
 
1030
</arc>
 
1031
</net>
 
1032
<net active="true" id="Finish" type="P/T net">
 
1033
<place id="Control" initialMarking="1" invariant="&lt; inf" markingOffsetX="0.0" markingOffsetY="0.0" name="Control" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="720.0" positionY="150.0"/>
 
1034
<place id="Number" initialMarking="32" invariant="&lt; inf" markingOffsetX="0.0" markingOffsetY="0.0" name="Number" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="720.0" positionY="360.0"/>
 
1035
<place id="Reminder" initialMarking="0" invariant="&lt; inf" markingOffsetX="0.0" markingOffsetY="0.0" name="Reminder" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="720.0" positionY="570.0"/>
 
1036
<place id="Check" initialMarking="0" invariant="&lt; inf" markingOffsetX="0.0" markingOffsetY="0.0" name="Check" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="375.0" positionY="240.0"/>
 
1037
<place id="NotPrime" initialMarking="0" invariant="&lt; inf" markingOffsetX="0.0" markingOffsetY="0.0" name="NotPrime" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="375.0" positionY="570.0"/>
 
1038
<transition angle="0" id="T0" infiniteServer="false" name="T0" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="525.0" positionY="240.0" priority="1" timed="true"/>
 
1039
<transition angle="0" id="T1" infiniteServer="false" name="T1" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="375.0" positionY="405.0" priority="1" timed="true"/>
 
1040
<arc id="Reminder to T0" inscription="[0,inf)" source="Reminder" target="T0" type="timed">
 
1041
<arcpath arcPointType="false" id="0" xCoord="724" yCoord="569"/>
 
1042
<arcpath arcPointType="false" id="1" xCoord="541" yCoord="258"/>
 
1043
</arc>
 
1044
<arc id="Control to T0" inscription="[0,inf)" source="Control" target="T0" type="timed">
 
1045
<arcpath arcPointType="false" id="0" xCoord="718" yCoord="167"/>
 
1046
<arcpath arcPointType="false" id="1" xCoord="542" yCoord="244"/>
 
1047
</arc>
 
1048
<arc id="Number to T0" inscription="[0,inf)" source="Number" target="T0" type="tapnInhibitor">
 
1049
<arcpath arcPointType="false" id="0" xCoord="719" yCoord="363"/>
 
1050
<arcpath arcPointType="false" id="1" xCoord="542" yCoord="251"/>
 
1051
</arc>
 
1052
<arc id="T0 to Check" inscription="1" source="T0" target="Check" type="normal">
 
1053
<arcpath arcPointType="false" id="0" xCoord="531" yCoord="252"/>
 
1054
<arcpath arcPointType="false" id="1" xCoord="401" yCoord="252"/>
 
1055
</arc>
 
1056
<arc id="Check to T1" inscription="[0,inf)" source="Check" target="T1" type="timed">
 
1057
<arcpath arcPointType="false" id="0" xCoord="387" yCoord="266"/>
 
1058
<arcpath arcPointType="false" id="1" xCoord="387" yCoord="402"/>
 
1059
</arc>
 
1060
<arc id="T1 to NotPrime" inscription="1" source="T1" target="NotPrime" type="normal">
 
1061
<arcpath arcPointType="false" id="0" xCoord="387" yCoord="432"/>
 
1062
<arcpath arcPointType="false" id="1" xCoord="387" yCoord="567"/>
 
1063
</arc>
 
1064
<arc id="Reminder to T1" inscription="[0,inf)" source="Reminder" target="T1" type="tapnInhibitor">
 
1065
<arcpath arcPointType="false" id="0" xCoord="718" yCoord="575"/>
 
1066
<arcpath arcPointType="false" id="1" xCoord="391" yCoord="422"/>
 
1067
</arc>
 
1068
<arc id="Number to T1" inscription="[0,inf)" source="Number" target="T1" type="tapnInhibitor">
 
1069
<arcpath arcPointType="false" id="0" xCoord="717" yCoord="373"/>
 
1070
<arcpath arcPointType="false" id="1" xCoord="392" yCoord="412"/>
 
1071
</arc>
 
1072
</net>
 
1073
<query active="true" capacity="1" discreteInclusion="false" extrapolationOption="AUTOMATIC" hashTableSize="MB_16" inclusionPlaces="*NONE*" name="TRUE" query="EF Finish.NotPrime&gt;=1" reductionOption="VerifyTAPN" searchOption="BFS" symmetry="true" traceOption="NONE"/>
 
1074
</pnml>