← 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-prime-test005.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-prime-test005.xml
 
1
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
 
2
<pnml xmlns="http://www.informatik.hu-berlin.de/top/pnml/ptNetb">
 
3
<net active="true" id="TAPN1" type="P/T net">
 
4
<labels border="true" height="93" positionX="52" positionY="43" width="102">The query is True iff the number of tokens in Number is not a prime number (works only up to 26 tokens).</labels>
 
5
<place id="Start" initialMarking="1" invariant="&lt; inf" markingOffsetX="0.0" markingOffsetY="0.0" name="Start" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="495.0" positionY="60.0"/>
 
6
<place id="P1" initialMarking="0" invariant="&lt;= 1" markingOffsetX="0.0" markingOffsetY="0.0" name="P1" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="165.0" positionY="315.0"/>
 
7
<place id="P2" initialMarking="0" invariant="&lt;= 1" markingOffsetX="0.0" markingOffsetY="0.0" name="P2" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="405.0" positionY="315.0"/>
 
8
<place id="P3" initialMarking="0" invariant="&lt;= 1" markingOffsetX="0.0" markingOffsetY="0.0" name="P3" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="660.0" positionY="315.0"/>
 
9
<place id="P4" initialMarking="0" invariant="&lt;= 1" markingOffsetX="0.0" markingOffsetY="0.0" name="P4" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="900.0" positionY="315.0"/>
 
10
<place id="Number" initialMarking="15" invariant="&lt; inf" markingOffsetX="0.0" markingOffsetY="0.0" name="Number" nameOffsetX="-1.0" nameOffsetY="33.0" positionX="540.0" positionY="690.0"/>
 
11
<place id="P12" initialMarking="0" invariant="&lt;= 2" markingOffsetX="0.0" markingOffsetY="0.0" name="P12" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="195.0" positionY="225.0"/>
 
12
<place id="P13" initialMarking="0" invariant="&lt;= 3" markingOffsetX="0.0" markingOffsetY="0.0" name="P13" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="435.0" positionY="225.0"/>
 
13
<place id="P14" initialMarking="0" invariant="&lt;= 5" markingOffsetX="0.0" markingOffsetY="0.0" name="P14" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="675.0" positionY="225.0"/>
 
14
<place id="P15" initialMarking="0" invariant="&lt;= 7" markingOffsetX="0.0" markingOffsetY="0.0" name="P15" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="915.0" positionY="225.0"/>
 
15
<place id="Reminder" initialMarking="0" invariant="&lt; inf" markingOffsetX="0.0" markingOffsetY="0.0" name="Reminder" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="315.0" positionY="705.0"/>
 
16
<transition angle="0" id="T0" infiniteServer="false" name="T0" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="165.0" positionY="150.0" priority="1" timed="true"/>
 
17
<transition angle="0" id="T1" infiniteServer="false" name="T1" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="390.0" positionY="150.0" priority="1" timed="true"/>
 
18
<transition angle="0" id="T2" infiniteServer="false" name="T2" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="645.0" positionY="150.0" priority="1" timed="true"/>
 
19
<transition angle="0" id="T3" infiniteServer="false" name="T3" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="885.0" positionY="150.0" priority="1" timed="true"/>
 
20
<transition angle="0" id="T4" infiniteServer="false" name="T4" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="180.0" positionY="480.0" priority="1" timed="true"/>
 
21
<transition angle="0" id="T5" infiniteServer="false" name="T5" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="420.0" positionY="480.0" priority="1" timed="true"/>
 
22
<transition angle="0" id="T6" infiniteServer="false" name="T6" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="690.0" positionY="480.0" priority="1" timed="true"/>
 
23
<transition angle="0" id="T7" infiniteServer="false" name="T7" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="930.0" positionY="450.0" priority="1" timed="true"/>
 
24
<transition angle="0" id="T8" infiniteServer="false" name="T8" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="270.0" positionY="255.0" priority="1" timed="true"/>
 
25
<transition angle="0" id="T9" infiniteServer="false" name="T9" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="525.0" positionY="255.0" priority="1" timed="true"/>
 
26
<transition angle="0" id="T10" infiniteServer="false" name="T10" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="765.0" positionY="255.0" priority="1" timed="true"/>
 
27
<transition angle="0" id="T11" infiniteServer="false" name="T11" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="990.0" positionY="225.0" priority="1" timed="true"/>
 
28
<transition angle="0" id="T13" infiniteServer="false" name="T13" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="255.0" positionY="360.0" priority="1" timed="true"/>
 
29
<transition angle="0" id="T14" infiniteServer="false" name="T14" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="495.0" positionY="360.0" priority="1" timed="true"/>
 
30
<transition angle="0" id="T15" infiniteServer="false" name="T15" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="765.0" positionY="360.0" priority="1" timed="true"/>
 
31
<transition angle="0" id="T16" infiniteServer="false" name="T16" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="1005.0" positionY="330.0" priority="1" timed="true"/>
 
32
<transition angle="0" id="T12" infiniteServer="false" name="T12" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="420.0" positionY="705.0" priority="1" timed="true"/>
 
33
<arc id="Start to T0" inscription="[0,inf)" source="Start" target="T0" type="timed">
 
34
<arcpath arcPointType="false" id="0" xCoord="492" yCoord="76"/>
 
35
<arcpath arcPointType="false" id="1" xCoord="181" yCoord="162"/>
 
36
</arc>
 
37
<arc id="T0 to P1" inscription="1" source="T0" target="P1" type="normal">
 
38
<arcpath arcPointType="false" id="0" xCoord="177" yCoord="177"/>
 
39
<arcpath arcPointType="false" id="1" xCoord="177" yCoord="312"/>
 
40
</arc>
 
41
<arc id="Start to T1" inscription="[0,inf)" source="Start" target="T1" type="timed">
 
42
<arcpath arcPointType="false" id="0" xCoord="495" yCoord="82"/>
 
43
<arcpath arcPointType="false" id="1" xCoord="406" yCoord="162"/>
 
44
</arc>
 
45
<arc id="T1 to P2" inscription="1" source="T1" target="P2" type="normal">
 
46
<arcpath arcPointType="false" id="0" xCoord="402" yCoord="177"/>
 
47
<arcpath arcPointType="false" id="1" xCoord="415" yCoord="312"/>
 
48
</arc>
 
49
<arc id="Start to T2" inscription="[0,inf)" source="Start" target="T2" type="timed">
 
50
<arcpath arcPointType="false" id="0" xCoord="519" yCoord="79"/>
 
51
<arcpath arcPointType="false" id="1" xCoord="651" yCoord="162"/>
 
52
</arc>
 
53
<arc id="T2 to P3" inscription="1" source="T2" target="P3" type="normal">
 
54
<arcpath arcPointType="false" id="0" xCoord="657" yCoord="177"/>
 
55
<arcpath arcPointType="false" id="1" xCoord="670" yCoord="312"/>
 
56
</arc>
 
57
<arc id="Start to T3" inscription="[0,inf)" source="Start" target="T3" type="timed">
 
58
<arcpath arcPointType="false" id="0" xCoord="521" yCoord="75"/>
 
59
<arcpath arcPointType="false" id="1" xCoord="891" yCoord="162"/>
 
60
</arc>
 
61
<arc id="T3 to P4" inscription="1" source="T3" target="P4" type="normal">
 
62
<arcpath arcPointType="false" id="0" xCoord="897" yCoord="177"/>
 
63
<arcpath arcPointType="false" id="1" xCoord="910" yCoord="312"/>
 
64
</arc>
 
65
<arc id="P1 to T4" inscription="[0,inf)" source="P1" target="T4" type="timed">
 
66
<arcpath arcPointType="false" id="0" xCoord="170" yCoord="340"/>
 
67
<arcpath arcPointType="false" id="1" xCoord="135" yCoord="420"/>
 
68
<arcpath arcPointType="false" id="2" xCoord="186" yCoord="492"/>
 
69
</arc>
 
70
<arc id="T4 to P1" inscription="1" source="T4" target="P1" type="normal">
 
71
<arcpath arcPointType="false" id="0" xCoord="192" yCoord="477"/>
 
72
<arcpath arcPointType="false" id="1" xCoord="225" yCoord="420"/>
 
73
<arcpath arcPointType="false" id="2" xCoord="183" yCoord="340"/>
 
74
</arc>
 
75
<arc id="P2 to T5" inscription="[0,inf)" source="P2" target="T5" type="timed">
 
76
<arcpath arcPointType="false" id="0" xCoord="410" yCoord="340"/>
 
77
<arcpath arcPointType="false" id="1" xCoord="375" yCoord="420"/>
 
78
<arcpath arcPointType="false" id="2" xCoord="426" yCoord="492"/>
 
79
</arc>
 
80
<arc id="T5 to P2" inscription="1" source="T5" target="P2" type="normal">
 
81
<arcpath arcPointType="false" id="0" xCoord="437" yCoord="487"/>
 
82
<arcpath arcPointType="false" id="1" xCoord="495" yCoord="435"/>
 
83
<arcpath arcPointType="false" id="2" xCoord="425" yCoord="339"/>
 
84
</arc>
 
85
<arc id="P3 to T6" inscription="[0,inf)" source="P3" target="T6" type="timed">
 
86
<arcpath arcPointType="false" id="0" xCoord="666" yCoord="340"/>
 
87
<arcpath arcPointType="false" id="1" xCoord="630" yCoord="435"/>
 
88
<arcpath arcPointType="false" id="2" xCoord="697" yCoord="487"/>
 
89
</arc>
 
90
<arc id="T6 to P3" inscription="1" source="T6" target="P3" type="normal">
 
91
<arcpath arcPointType="false" id="0" xCoord="706" yCoord="492"/>
 
92
<arcpath arcPointType="false" id="1" xCoord="750" yCoord="420"/>
 
93
<arcpath arcPointType="false" id="2" xCoord="681" yCoord="338"/>
 
94
</arc>
 
95
<arc id="P4 to T7" inscription="[0,inf)" source="P4" target="T7" type="timed">
 
96
<arcpath arcPointType="false" id="0" xCoord="907" yCoord="341"/>
 
97
<arcpath arcPointType="false" id="1" xCoord="885" yCoord="405"/>
 
98
<arcpath arcPointType="false" id="2" xCoord="937" yCoord="457"/>
 
99
</arc>
 
100
<arc id="P1 to T8" inscription="[0,inf)" source="P1" target="T8" type="timed">
 
101
<arcpath arcPointType="false" id="0" xCoord="190" yCoord="319"/>
 
102
<arcpath arcPointType="false" id="1" xCoord="276" yCoord="272"/>
 
103
</arc>
 
104
<arc id="T8 to Start" inscription="1" source="T8" target="Start" type="normal">
 
105
<arcpath arcPointType="false" id="0" xCoord="286" yCoord="267"/>
 
106
<arcpath arcPointType="false" id="1" xCoord="360" yCoord="150"/>
 
107
<arcpath arcPointType="false" id="2" xCoord="493" yCoord="79"/>
 
108
</arc>
 
109
<arc id="P2 to T9" inscription="[0,inf)" source="P2" target="T9" type="timed">
 
110
<arcpath arcPointType="false" id="0" xCoord="430" yCoord="320"/>
 
111
<arcpath arcPointType="false" id="1" xCoord="531" yCoord="272"/>
 
112
</arc>
 
113
<arc id="T9 to Start" inscription="1" source="T9" target="Start" type="normal">
 
114
<arcpath arcPointType="false" id="0" xCoord="537" yCoord="252"/>
 
115
<arcpath arcPointType="false" id="1" xCoord="509" yCoord="86"/>
 
116
</arc>
 
117
<arc id="P3 to T10" inscription="[0,inf)" source="P3" target="T10" type="timed">
 
118
<arcpath arcPointType="false" id="0" xCoord="685" yCoord="319"/>
 
119
<arcpath arcPointType="false" id="1" xCoord="771" yCoord="272"/>
 
120
</arc>
 
121
<arc id="T10 to Start" inscription="1" source="T10" target="Start" type="normal">
 
122
<arcpath arcPointType="false" id="0" xCoord="777" yCoord="252"/>
 
123
<arcpath arcPointType="false" id="1" xCoord="765" yCoord="195"/>
 
124
<arcpath arcPointType="false" id="2" xCoord="520" yCoord="78"/>
 
125
</arc>
 
126
<arc id="P4 to T11" inscription="[0,inf)" source="P4" target="T11" type="timed">
 
127
<arcpath arcPointType="false" id="0" xCoord="922" yCoord="316"/>
 
128
<arcpath arcPointType="false" id="1" xCoord="996" yCoord="245"/>
 
129
</arc>
 
130
<arc id="Number to T4" inscription="[0,inf)" source="Number" target="T4" type="timed">
 
131
<arcpath arcPointType="false" id="0" xCoord="539" yCoord="694"/>
 
132
<arcpath arcPointType="false" id="1" xCoord="196" yCoord="497"/>
 
133
</arc>
 
134
<arc id="Number to T5" inscription="[0,inf)" source="Number" target="T5" type="timed">
 
135
<arcpath arcPointType="false" id="0" xCoord="544" yCoord="689"/>
 
136
<arcpath arcPointType="false" id="1" xCoord="432" yCoord="507"/>
 
137
</arc>
 
138
<arc id="Number to T6" inscription="[0,inf)" source="Number" target="T6" type="timed">
 
139
<arcpath arcPointType="false" id="0" xCoord="560" yCoord="689"/>
 
140
<arcpath arcPointType="false" id="1" xCoord="696" yCoord="497"/>
 
141
</arc>
 
142
<arc id="Number to T7" inscription="[0,inf)" source="Number" target="T7" type="timed">
 
143
<arcpath arcPointType="false" id="0" xCoord="564" yCoord="694"/>
 
144
<arcpath arcPointType="false" id="1" xCoord="936" yCoord="467"/>
 
145
</arc>
 
146
<arc id="T11 to Start" inscription="1" source="T11" target="Start" type="normal">
 
147
<arcpath arcPointType="false" id="0" xCoord="997" yCoord="231"/>
 
148
<arcpath arcPointType="false" id="1" xCoord="521" yCoord="76"/>
 
149
</arc>
 
150
<arc id="T0 to P12" inscription="1" source="T0" target="P12" type="normal">
 
151
<arcpath arcPointType="false" id="0" xCoord="177" yCoord="177"/>
 
152
<arcpath arcPointType="false" id="1" xCoord="200" yCoord="223"/>
 
153
</arc>
 
154
<arc id="P12 to T8" inscription="[0,inf)" source="P12" target="T8" type="timed">
 
155
<arcpath arcPointType="false" id="0" xCoord="221" yCoord="242"/>
 
156
<arcpath arcPointType="false" id="1" xCoord="277" yCoord="262"/>
 
157
</arc>
 
158
<arc id="P12 to T13" inscription="[0,inf)" source="P12" target="T13" type="timed">
 
159
<arcpath arcPointType="false" id="0" xCoord="209" yCoord="251"/>
 
160
<arcpath arcPointType="false" id="1" xCoord="225" yCoord="345"/>
 
161
<arcpath arcPointType="false" id="2" xCoord="262" yCoord="367"/>
 
162
</arc>
 
163
<arc id="T13 to P12" inscription="1" source="T13" target="P12" type="normal">
 
164
<arcpath arcPointType="false" id="0" xCoord="267" yCoord="357"/>
 
165
<arcpath arcPointType="false" id="1" xCoord="285" yCoord="315"/>
 
166
<arcpath arcPointType="false" id="2" xCoord="217" yCoord="247"/>
 
167
</arc>
 
168
<arc id="T1 to P13" inscription="1" source="T1" target="P13" type="normal">
 
169
<arcpath arcPointType="false" id="0" xCoord="402" yCoord="177"/>
 
170
<arcpath arcPointType="false" id="1" xCoord="438" yCoord="224"/>
 
171
</arc>
 
172
<arc id="P13 to T9" inscription="[0,inf)" source="P13" target="T9" type="timed">
 
173
<arcpath arcPointType="false" id="0" xCoord="461" yCoord="241"/>
 
174
<arcpath arcPointType="false" id="1" xCoord="532" yCoord="262"/>
 
175
</arc>
 
176
<arc id="T2 to P14" inscription="1" source="T2" target="P14" type="normal">
 
177
<arcpath arcPointType="false" id="0" xCoord="657" yCoord="177"/>
 
178
<arcpath arcPointType="false" id="1" xCoord="680" yCoord="223"/>
 
179
</arc>
 
180
<arc id="P14 to T10" inscription="[0,inf)" source="P14" target="T10" type="timed">
 
181
<arcpath arcPointType="false" id="0" xCoord="701" yCoord="241"/>
 
182
<arcpath arcPointType="false" id="1" xCoord="772" yCoord="262"/>
 
183
</arc>
 
184
<arc id="T3 to P15" inscription="1" source="T3" target="P15" type="normal">
 
185
<arcpath arcPointType="false" id="0" xCoord="897" yCoord="177"/>
 
186
<arcpath arcPointType="false" id="1" xCoord="920" yCoord="223"/>
 
187
</arc>
 
188
<arc id="P15 to T11" inscription="[0,inf)" source="P15" target="T11" type="timed">
 
189
<arcpath arcPointType="false" id="0" xCoord="941" yCoord="237"/>
 
190
<arcpath arcPointType="false" id="1" xCoord="996" yCoord="238"/>
 
191
</arc>
 
192
<arc id="P13 to T14" inscription="[0,inf)" source="P13" target="T14" type="timed">
 
193
<arcpath arcPointType="false" id="0" xCoord="447" yCoord="251"/>
 
194
<arcpath arcPointType="false" id="1" xCoord="450" yCoord="330"/>
 
195
<arcpath arcPointType="false" id="2" xCoord="502" yCoord="366"/>
 
196
</arc>
 
197
<arc id="T14 to P13" inscription="1" source="T14" target="P13" type="normal">
 
198
<arcpath arcPointType="false" id="0" xCoord="507" yCoord="357"/>
 
199
<arcpath arcPointType="false" id="1" xCoord="525" yCoord="315"/>
 
200
<arcpath arcPointType="false" id="2" xCoord="457" yCoord="247"/>
 
201
</arc>
 
202
<arc id="P14 to T15" inscription="[0,inf)" source="P14" target="T15" type="timed">
 
203
<arcpath arcPointType="false" id="0" xCoord="692" yCoord="251"/>
 
204
<arcpath arcPointType="false" id="1" xCoord="720" yCoord="330"/>
 
205
<arcpath arcPointType="false" id="2" xCoord="772" yCoord="366"/>
 
206
</arc>
 
207
<arc id="T15 to P14" inscription="1" source="T15" target="P14" type="normal">
 
208
<arcpath arcPointType="false" id="0" xCoord="777" yCoord="357"/>
 
209
<arcpath arcPointType="false" id="1" xCoord="765" yCoord="315"/>
 
210
<arcpath arcPointType="false" id="2" xCoord="697" yCoord="247"/>
 
211
</arc>
 
212
<arc id="P15 to T16" inscription="[0,inf)" source="P15" target="T16" type="timed">
 
213
<arcpath arcPointType="false" id="0" xCoord="932" yCoord="251"/>
 
214
<arcpath arcPointType="false" id="1" xCoord="960" yCoord="330"/>
 
215
<arcpath arcPointType="false" id="2" xCoord="1012" yCoord="337"/>
 
216
</arc>
 
217
<arc id="T16 to P15" inscription="1" source="T16" target="P15" type="normal">
 
218
<arcpath arcPointType="false" id="0" xCoord="1017" yCoord="327"/>
 
219
<arcpath arcPointType="false" id="1" xCoord="1005" yCoord="300"/>
 
220
<arcpath arcPointType="false" id="2" xCoord="938" yCoord="246"/>
 
221
</arc>
 
222
<arc id="T7 to P4" inscription="1" source="T7" target="P4" type="normal">
 
223
<arcpath arcPointType="false" id="0" xCoord="947" yCoord="457"/>
 
224
<arcpath arcPointType="false" id="1" xCoord="975" yCoord="405"/>
 
225
<arcpath arcPointType="false" id="2" xCoord="921" yCoord="338"/>
 
226
</arc>
 
227
<arc id="P12 to T4" inscription="[0,inf):1" source="P12" target="T4" type="transport">
 
228
<arcpath arcPointType="false" id="0" xCoord="206" yCoord="251"/>
 
229
<arcpath arcPointType="false" id="1" xCoord="195" yCoord="420"/>
 
230
<arcpath arcPointType="false" id="2" xCoord="192" yCoord="477"/>
 
231
</arc>
 
232
<arc id="T4 to P12" inscription="[0,inf):1" source="T4" target="P12" type="transport">
 
233
<arcpath arcPointType="false" id="0" xCoord="197" yCoord="487"/>
 
234
<arcpath arcPointType="false" id="1" xCoord="240" yCoord="450"/>
 
235
<arcpath arcPointType="false" id="2" xCoord="209" yCoord="251"/>
 
236
</arc>
 
237
<arc id="P13 to T5" inscription="[0,inf):1" source="P13" target="T5" type="transport">
 
238
<arcpath arcPointType="false" id="0" xCoord="444" yCoord="251"/>
 
239
<arcpath arcPointType="false" id="1" xCoord="420" yCoord="405"/>
 
240
<arcpath arcPointType="false" id="2" xCoord="432" yCoord="477"/>
 
241
</arc>
 
242
<arc id="T5 to P13" inscription="[0,inf):1" source="T5" target="P13" type="transport">
 
243
<arcpath arcPointType="false" id="0" xCoord="436" yCoord="497"/>
 
244
<arcpath arcPointType="false" id="1" xCoord="435" yCoord="495"/>
 
245
<arcpath arcPointType="false" id="2" xCoord="480" yCoord="330"/>
 
246
<arcpath arcPointType="false" id="3" xCoord="452" yCoord="251"/>
 
247
</arc>
 
248
<arc id="P14 to T6" inscription="[0,inf):1" source="P14" target="T6" type="transport">
 
249
<arcpath arcPointType="false" id="0" xCoord="687" yCoord="251"/>
 
250
<arcpath arcPointType="false" id="1" xCoord="690" yCoord="420"/>
 
251
<arcpath arcPointType="false" id="2" xCoord="702" yCoord="477"/>
 
252
</arc>
 
253
<arc id="T6 to P14" inscription="[0,inf):1" source="T6" target="P14" type="transport">
 
254
<arcpath arcPointType="false" id="0" xCoord="702" yCoord="477"/>
 
255
<arcpath arcPointType="false" id="1" xCoord="735" yCoord="360"/>
 
256
<arcpath arcPointType="false" id="2" xCoord="692" yCoord="250"/>
 
257
</arc>
 
258
<arc id="P15 to T7" inscription="[0,inf):1" source="P15" target="T7" type="transport">
 
259
<arcpath arcPointType="false" id="0" xCoord="927" yCoord="251"/>
 
260
<arcpath arcPointType="false" id="1" xCoord="930" yCoord="390"/>
 
261
<arcpath arcPointType="false" id="2" xCoord="942" yCoord="447"/>
 
262
</arc>
 
263
<arc id="T7 to P15" inscription="[0,inf):1" source="T7" target="P15" type="transport">
 
264
<arcpath arcPointType="false" id="0" xCoord="946" yCoord="467"/>
 
265
<arcpath arcPointType="false" id="1" xCoord="945" yCoord="465"/>
 
266
<arcpath arcPointType="false" id="2" xCoord="975" yCoord="375"/>
 
267
<arcpath arcPointType="false" id="3" xCoord="931" yCoord="251"/>
 
268
</arc>
 
269
<arc id="Number to T13" inscription="[0,inf)" source="Number" target="T13" type="timed">
 
270
<arcpath arcPointType="false" id="0" xCoord="542" yCoord="690"/>
 
271
<arcpath arcPointType="false" id="1" xCoord="271" yCoord="372"/>
 
272
</arc>
 
273
<arc id="Number to T14" inscription="[0,inf)" source="Number" target="T14" type="timed">
 
274
<arcpath arcPointType="false" id="0" xCoord="553" yCoord="687"/>
 
275
<arcpath arcPointType="false" id="1" xCoord="585" yCoord="435"/>
 
276
<arcpath arcPointType="false" id="2" xCoord="511" yCoord="372"/>
 
277
</arc>
 
278
<arc id="Number to T15" inscription="[0,inf)" source="Number" target="T15" type="timed">
 
279
<arcpath arcPointType="false" id="0" xCoord="563" yCoord="692"/>
 
280
<arcpath arcPointType="false" id="1" xCoord="825" yCoord="480"/>
 
281
<arcpath arcPointType="false" id="2" xCoord="777" yCoord="387"/>
 
282
</arc>
 
283
<arc id="Number to T16" inscription="[0,inf)" source="Number" target="T16" type="timed">
 
284
<arcpath arcPointType="false" id="0" xCoord="565" yCoord="696"/>
 
285
<arcpath arcPointType="false" id="1" xCoord="1065" yCoord="495"/>
 
286
<arcpath arcPointType="false" id="2" xCoord="1017" yCoord="357"/>
 
287
</arc>
 
288
<arc id="T12 to Number" inscription="1" source="T12" target="Number" type="normal">
 
289
<arcpath arcPointType="false" id="0" xCoord="436" yCoord="723"/>
 
290
<arcpath arcPointType="false" id="1" xCoord="537" yCoord="704"/>
 
291
</arc>
 
292
<arc id="P4 to T12" inscription="[0,inf)" source="P4" target="T12" type="tapnInhibitor">
 
293
<arcpath arcPointType="false" id="0" xCoord="911" yCoord="341"/>
 
294
<arcpath arcPointType="false" id="1" xCoord="885" yCoord="735"/>
 
295
<arcpath arcPointType="false" id="2" xCoord="465" yCoord="780"/>
 
296
<arcpath arcPointType="false" id="3" xCoord="432" yCoord="732"/>
 
297
</arc>
 
298
<arc id="P3 to T12" inscription="[0,inf)" source="P3" target="T12" type="tapnInhibitor">
 
299
<arcpath arcPointType="false" id="0" xCoord="666" yCoord="340"/>
 
300
<arcpath arcPointType="false" id="1" xCoord="570" yCoord="585"/>
 
301
<arcpath arcPointType="false" id="2" xCoord="437" yCoord="716"/>
 
302
</arc>
 
303
<arc id="P2 to T12" inscription="[0,inf)" source="P2" target="T12" type="tapnInhibitor">
 
304
<arcpath arcPointType="false" id="0" xCoord="422" yCoord="340"/>
 
305
<arcpath arcPointType="false" id="1" xCoord="525" yCoord="585"/>
 
306
<arcpath arcPointType="false" id="2" xCoord="437" yCoord="709"/>
 
307
</arc>
 
308
<arc id="P1 to T12" inscription="[0,inf)" source="P1" target="T12" type="tapnInhibitor">
 
309
<arcpath arcPointType="false" id="0" xCoord="177" yCoord="341"/>
 
310
<arcpath arcPointType="false" id="1" xCoord="180" yCoord="735"/>
 
311
<arcpath arcPointType="false" id="2" xCoord="426" yCoord="722"/>
 
312
</arc>
 
313
<arc id="Number to T11" inscription="[0,inf)" source="Number" target="T11" type="tapnInhibitor">
 
314
<arcpath arcPointType="false" id="0" xCoord="566" yCoord="699"/>
 
315
<arcpath arcPointType="false" id="1" xCoord="1155" yCoord="615"/>
 
316
<arcpath arcPointType="false" id="2" xCoord="1002" yCoord="252"/>
 
317
</arc>
 
318
<arc id="Number to T10" inscription="[0,inf)" source="Number" target="T10" type="tapnInhibitor">
 
319
<arcpath arcPointType="false" id="0" xCoord="562" yCoord="691"/>
 
320
<arcpath arcPointType="false" id="1" xCoord="825" yCoord="420"/>
 
321
<arcpath arcPointType="false" id="2" xCoord="777" yCoord="282"/>
 
322
</arc>
 
323
<arc id="Number to T9" inscription="[0,inf)" source="Number" target="T9" type="tapnInhibitor">
 
324
<arcpath arcPointType="false" id="0" xCoord="551" yCoord="687"/>
 
325
<arcpath arcPointType="false" id="1" xCoord="537" yCoord="282"/>
 
326
</arc>
 
327
<arc id="Number to T8" inscription="[0,inf)" source="Number" target="T8" type="tapnInhibitor">
 
328
<arcpath arcPointType="false" id="0" xCoord="542" yCoord="690"/>
 
329
<arcpath arcPointType="false" id="1" xCoord="330" yCoord="450"/>
 
330
<arcpath arcPointType="false" id="2" xCoord="282" yCoord="282"/>
 
331
</arc>
 
332
<arc id="Reminder to T2" inscription="[0,inf)" source="Reminder" target="T2" type="tapnInhibitor">
 
333
<arcpath arcPointType="false" id="0" xCoord="335" yCoord="704"/>
 
334
<arcpath arcPointType="false" id="1" xCoord="600" yCoord="330"/>
 
335
<arcpath arcPointType="false" id="2" xCoord="657" yCoord="177"/>
 
336
</arc>
 
337
<arc id="Reminder to T1" inscription="[0,inf)" source="Reminder" target="T1" type="tapnInhibitor">
 
338
<arcpath arcPointType="false" id="0" xCoord="329" yCoord="702"/>
 
339
<arcpath arcPointType="false" id="1" xCoord="402" yCoord="177"/>
 
340
</arc>
 
341
<arc id="Reminder to T0" inscription="[0,inf)" source="Reminder" target="T0" type="tapnInhibitor">
 
342
<arcpath arcPointType="false" id="0" xCoord="314" yCoord="709"/>
 
343
<arcpath arcPointType="false" id="1" xCoord="75" yCoord="570"/>
 
344
<arcpath arcPointType="false" id="2" xCoord="177" yCoord="177"/>
 
345
</arc>
 
346
<arc id="Reminder to T12" inscription="[0,inf)" source="Reminder" target="T12" type="timed">
 
347
<arcpath arcPointType="false" id="0" xCoord="341" yCoord="716"/>
 
348
<arcpath arcPointType="false" id="1" xCoord="427" yCoord="712"/>
 
349
</arc>
 
350
<arc id="T16 to Reminder" inscription="1" source="T16" target="Reminder" type="normal">
 
351
<arcpath arcPointType="false" id="0" xCoord="1017" yCoord="357"/>
 
352
<arcpath arcPointType="false" id="1" xCoord="990" yCoord="945"/>
 
353
<arcpath arcPointType="false" id="2" xCoord="315" yCoord="885"/>
 
354
<arcpath arcPointType="false" id="3" xCoord="325" yCoord="731"/>
 
355
</arc>
 
356
<arc id="T15 to Reminder" inscription="1" source="T15" target="Reminder" type="normal">
 
357
<arcpath arcPointType="false" id="0" xCoord="777" yCoord="387"/>
 
358
<arcpath arcPointType="false" id="1" xCoord="750" yCoord="870"/>
 
359
<arcpath arcPointType="false" id="2" xCoord="375" yCoord="810"/>
 
360
<arcpath arcPointType="false" id="3" xCoord="333" yCoord="730"/>
 
361
</arc>
 
362
<arc id="T14 to Reminder" inscription="1" source="T14" target="Reminder" type="normal">
 
363
<arcpath arcPointType="false" id="0" xCoord="507" yCoord="387"/>
 
364
<arcpath arcPointType="false" id="1" xCoord="495" yCoord="570"/>
 
365
<arcpath arcPointType="false" id="2" xCoord="338" yCoord="707"/>
 
366
</arc>
 
367
<arc id="T13 to Reminder" inscription="1" source="T13" target="Reminder" type="normal">
 
368
<arcpath arcPointType="false" id="0" xCoord="267" yCoord="387"/>
 
369
<arcpath arcPointType="false" id="1" xCoord="324" yCoord="702"/>
 
370
</arc>
 
371
<arc id="P4 to T16" inscription="[0,inf)" source="P4" target="T16" type="timed">
 
372
<arcpath arcPointType="false" id="0" xCoord="926" yCoord="330"/>
 
373
<arcpath arcPointType="false" id="1" xCoord="1011" yCoord="347"/>
 
374
</arc>
 
375
<arc id="T16 to P4" inscription="1" source="T16" target="P4" type="normal">
 
376
<arcpath arcPointType="false" id="0" xCoord="1017" yCoord="357"/>
 
377
<arcpath arcPointType="false" id="1" xCoord="989" yCoord="404"/>
 
378
<arcpath arcPointType="false" id="2" xCoord="922" yCoord="337"/>
 
379
</arc>
 
380
<arc id="P3 to T15" inscription="[0,inf)" source="P3" target="T15" type="timed">
 
381
<arcpath arcPointType="false" id="0" xCoord="685" yCoord="333"/>
 
382
<arcpath arcPointType="false" id="1" xCoord="771" yCoord="373"/>
 
383
</arc>
 
384
<arc id="T15 to P3" inscription="1" source="T15" target="P3" type="normal">
 
385
<arcpath arcPointType="false" id="0" xCoord="771" yCoord="380"/>
 
386
<arcpath arcPointType="false" id="1" xCoord="674" yCoord="419"/>
 
387
<arcpath arcPointType="false" id="2" xCoord="672" yCoord="341"/>
 
388
</arc>
 
389
<arc id="P2 to T14" inscription="[0,inf)" source="P2" target="T14" type="timed">
 
390
<arcpath arcPointType="false" id="0" xCoord="427" yCoord="337"/>
 
391
<arcpath arcPointType="false" id="1" xCoord="419" yCoord="329"/>
 
392
<arcpath arcPointType="false" id="2" xCoord="501" yCoord="373"/>
 
393
</arc>
 
394
<arc id="T14 to P2" inscription="1" source="T14" target="P2" type="normal">
 
395
<arcpath arcPointType="false" id="0" xCoord="501" yCoord="380"/>
 
396
<arcpath arcPointType="false" id="1" xCoord="434" yCoord="404"/>
 
397
<arcpath arcPointType="false" id="2" xCoord="420" yCoord="341"/>
 
398
</arc>
 
399
<arc id="P1 to T13" inscription="[0,inf)" source="P1" target="T13" type="timed">
 
400
<arcpath arcPointType="false" id="0" xCoord="189" yCoord="334"/>
 
401
<arcpath arcPointType="false" id="1" xCoord="261" yCoord="377"/>
 
402
</arc>
 
403
<arc id="T13 to P1" inscription="1" source="T13" target="P1" type="normal">
 
404
<arcpath arcPointType="false" id="0" xCoord="267" yCoord="387"/>
 
405
<arcpath arcPointType="false" id="1" xCoord="254" yCoord="419"/>
 
406
<arcpath arcPointType="false" id="2" xCoord="186" yCoord="338"/>
 
407
</arc>
 
408
</net>
 
409
<query active="true" capacity="1" discreteInclusion="false" extrapolationOption="AUTOMATIC" hashTableSize="MB_16" inclusionPlaces="*NONE*" name="TRUE" query="EF (TAPN1.Number=0 and TAPN1.Start&gt;=1 and TAPN1.Reminder=1)" reductionOption="VerifyTAPN" searchOption="BFS" symmetry="true" traceOption="NONE"/>
 
410
</pnml>