1
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
2
<pnml xmlns="http://www.informatik.hu-berlin.de/top/pnml/ptNetb">
3
<shared-transition name="app_first"/>
4
<shared-transition name="app"/>
5
<shared-transition name="exit"/>
6
<shared-transition name="exit_last"/>
7
<shared-transition name="down"/>
8
<shared-transition name="down1"/>
9
<shared-transition name="up"/>
10
<shared-transition name="waitOne"/>
11
<shared-transition name="waitOne1"/>
12
<constant name="trains" value="3"/>
13
<constant name="trains_minus_1" value="2"/>
14
<net active="true" id="Train" type="P/T net">
15
<place id="close" initialMarking="0" invariant="<= 5" markingOffsetX="0.0" markingOffsetY="0.0" name="close" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="105.0" positionY="225.0"/>
16
<place id="on" initialMarking="0" invariant="<= 4" markingOffsetX="0.0" markingOffsetY="0.0" name="on" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="330.0" positionY="120.0"/>
17
<place id="far" initialMarking="3" invariant="<= 40" markingOffsetX="0.0" markingOffsetY="0.0" name="far" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="345.0" positionY="390.0"/>
18
<place id="left" initialMarking="0" invariant="<= 0" markingOffsetX="0.0" markingOffsetY="0.0" name="left" nameOffsetX="-23.0" nameOffsetY="5.0" positionX="555.0" positionY="240.0"/>
19
<transition angle="0" id="in" infiniteServer="false" name="in" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="180.0" positionY="120.0" priority="0"/>
20
<transition angle="0" id="ex" infiniteServer="false" name="ex" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="465.0" positionY="120.0" priority="0"/>
21
<transition angle="0" id="app" infiniteServer="false" name="app" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="210.0" positionY="330.0" priority="0"/>
22
<transition angle="0" id="app_first" infiniteServer="false" name="app_first" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="165.0" positionY="420.0" priority="0"/>
23
<transition angle="0" id="exit" infiniteServer="false" name="exit" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="435.0" positionY="315.0" priority="0"/>
24
<transition angle="0" id="exit_last" infiniteServer="false" name="exit_last" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="510.0" positionY="405.0" priority="0"/>
25
<arc id="close to in" inscription="[0,inf)" source="close" target="in" type="timed" weight="1">
26
<arcpath arcPointType="false" id="0" xCoord="125" yCoord="224"/>
27
<arcpath arcPointType="false" id="1" xCoord="186" yCoord="132"/>
29
<arc id="in to on" inscription="1" source="in" target="on" type="normal" weight="1">
30
<arcpath arcPointType="false" id="0" xCoord="196" yCoord="132"/>
31
<arcpath arcPointType="false" id="1" xCoord="327" yCoord="132"/>
33
<arc id="on to ex" inscription="[0,inf)" source="on" target="ex" type="timed" weight="1">
34
<arcpath arcPointType="false" id="0" xCoord="356" yCoord="132"/>
35
<arcpath arcPointType="false" id="1" xCoord="471" yCoord="132"/>
37
<arc id="ex to left" inscription="1" source="ex" target="left" type="normal" weight="1">
38
<arcpath arcPointType="false" id="0" xCoord="481" yCoord="132"/>
39
<arcpath arcPointType="false" id="1" xCoord="558" yCoord="239"/>
41
<arc id="left to exit_last" inscription="[0,inf)" source="left" target="exit_last" type="timed" weight="1">
42
<arcpath arcPointType="false" id="0" xCoord="562" yCoord="266"/>
43
<arcpath arcPointType="false" id="1" xCoord="522" yCoord="402"/>
45
<arc id="exit_last to far" inscription="1" source="exit_last" target="far" type="normal" weight="1">
46
<arcpath arcPointType="false" id="0" xCoord="516" yCoord="417"/>
47
<arcpath arcPointType="false" id="1" xCoord="371" yCoord="403"/>
49
<arc id="left to exit" inscription="[0,inf)" source="left" target="exit" type="timed" weight="1">
50
<arcpath arcPointType="false" id="0" xCoord="554" yCoord="260"/>
51
<arcpath arcPointType="false" id="1" xCoord="451" yCoord="327"/>
53
<arc id="exit to far" inscription="1" source="exit" target="far" type="normal" weight="1">
54
<arcpath arcPointType="false" id="0" xCoord="441" yCoord="327"/>
55
<arcpath arcPointType="false" id="1" xCoord="368" yCoord="392"/>
57
<arc id="far to app" inscription="[0,inf)" source="far" target="app" type="timed" weight="1">
58
<arcpath arcPointType="false" id="0" xCoord="343" yCoord="395"/>
59
<arcpath arcPointType="false" id="1" xCoord="226" yCoord="342"/>
61
<arc id="app to close" inscription="1" source="app" target="close" type="normal" weight="1">
62
<arcpath arcPointType="false" id="0" xCoord="216" yCoord="342"/>
63
<arcpath arcPointType="false" id="1" xCoord="127" yCoord="247"/>
65
<arc id="far to app_first" inscription="[0,inf)" source="far" target="app_first" type="timed" weight="1">
66
<arcpath arcPointType="false" id="0" xCoord="342" yCoord="404"/>
67
<arcpath arcPointType="false" id="1" xCoord="181" yCoord="432"/>
69
<arc id="app_first to close" inscription="1" source="app_first" target="close" type="normal" weight="1">
70
<arcpath arcPointType="false" id="0" xCoord="177" yCoord="417"/>
71
<arcpath arcPointType="false" id="1" xCoord="121" yCoord="251"/>
74
<net active="true" id="Barrier" type="P/T net">
75
<place id="open" initialMarking="1" invariant="< inf" markingOffsetX="0.0" markingOffsetY="0.0" name="open" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="105.0" positionY="255.0"/>
76
<place id="lowering" initialMarking="0" invariant="<= 2" markingOffsetX="0.0" markingOffsetY="0.0" name="lowering" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="285.0" positionY="120.0"/>
77
<place id="raising" initialMarking="0" invariant="<= 2" markingOffsetX="0.0" markingOffsetY="0.0" name="raising" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="300.0" positionY="360.0"/>
78
<place id="closed" initialMarking="0" invariant="< inf" markingOffsetX="0.0" markingOffsetY="0.0" name="closed" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="510.0" positionY="240.0"/>
79
<place id="P0" initialMarking="0" invariant="<= 3" markingOffsetX="0.0" markingOffsetY="0.0" name="P0" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="600.0" positionY="150.0"/>
80
<place id="error" initialMarking="0" invariant="< inf" markingOffsetX="0.0" markingOffsetY="0.0" name="error" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="795.0" positionY="150.0"/>
81
<transition angle="0" id="down" infiniteServer="false" name="down" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="150.0" positionY="135.0" priority="0"/>
82
<transition angle="0" id="down1" infiniteServer="false" name="down1" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="285.0" positionY="240.0" priority="0"/>
83
<transition angle="0" id="L" infiniteServer="false" name="L" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="420.0" positionY="135.0" priority="0"/>
84
<transition angle="0" id="up" infiniteServer="false" name="up" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="435.0" positionY="360.0" priority="0"/>
85
<transition angle="0" id="R" infiniteServer="false" name="R" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="165.0" positionY="360.0" priority="0"/>
86
<transition angle="0" id="waitOne" infiniteServer="false" name="waitOne" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="330.0" positionY="15.0" priority="0"/>
87
<transition angle="0" id="waitOne1" infiniteServer="false" name="waitOne1" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="600.0" positionY="360.0" priority="0"/>
88
<transition angle="0" id="app_first" infiniteServer="false" name="app_first" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="630.0" positionY="30.0" priority="0"/>
89
<transition angle="0" id="T3" infiniteServer="false" name="T3" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="720.0" positionY="150.0" priority="0"/>
90
<transition angle="0" id="T5" infiniteServer="false" name="T5" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="615.0" positionY="210.0" priority="0"/>
91
<arc id="open to down" inscription="[0,inf)" source="open" target="down" type="timed" weight="1">
92
<arcpath arcPointType="false" id="0" xCoord="122" yCoord="253"/>
93
<arcpath arcPointType="false" id="1" xCoord="162" yCoord="162"/>
95
<arc id="down to lowering" inscription="1" source="down" target="lowering" type="normal" weight="1">
96
<arcpath arcPointType="false" id="0" xCoord="166" yCoord="147"/>
97
<arcpath arcPointType="false" id="1" xCoord="282" yCoord="133"/>
99
<arc id="lowering to L" inscription="[0,inf)" source="lowering" target="L" type="timed" weight="1">
100
<arcpath arcPointType="false" id="0" xCoord="311" yCoord="133"/>
101
<arcpath arcPointType="false" id="1" xCoord="426" yCoord="147"/>
103
<arc id="L to closed" inscription="1" source="L" target="closed" type="normal" weight="1">
104
<arcpath arcPointType="false" id="0" xCoord="436" yCoord="152"/>
105
<arcpath arcPointType="false" id="1" xCoord="512" yCoord="240"/>
107
<arc id="closed to up" inscription="[0,inf)" source="closed" target="up" type="timed" weight="1">
108
<arcpath arcPointType="false" id="0" xCoord="514" yCoord="264"/>
109
<arcpath arcPointType="false" id="1" xCoord="451" yCoord="372"/>
111
<arc id="up to raising" inscription="1" source="up" target="raising" type="normal" weight="1">
112
<arcpath arcPointType="false" id="0" xCoord="441" yCoord="372"/>
113
<arcpath arcPointType="false" id="1" xCoord="326" yCoord="372"/>
115
<arc id="raising to R" inscription="[0,inf)" source="raising" target="R" type="timed" weight="1">
116
<arcpath arcPointType="false" id="0" xCoord="297" yCoord="372"/>
117
<arcpath arcPointType="false" id="1" xCoord="181" yCoord="372"/>
119
<arc id="R to open" inscription="1" source="R" target="open" type="normal" weight="1">
120
<arcpath arcPointType="false" id="0" xCoord="177" yCoord="357"/>
121
<arcpath arcPointType="false" id="1" xCoord="125" yCoord="279"/>
123
<arc id="raising to down1" inscription="[0,inf)" source="raising" target="down1" type="timed" weight="1">
124
<arcpath arcPointType="false" id="0" xCoord="309" yCoord="357"/>
125
<arcpath arcPointType="false" id="1" xCoord="297" yCoord="267"/>
127
<arc id="down1 to lowering" inscription="1" source="down1" target="lowering" type="normal" weight="1">
128
<arcpath arcPointType="false" id="0" xCoord="297" yCoord="237"/>
129
<arcpath arcPointType="false" id="1" xCoord="297" yCoord="146"/>
131
<arc id="open to waitOne" inscription="[0,inf)" source="open" target="waitOne" type="tapnInhibitor" weight="1">
132
<arcpath arcPointType="false" id="0" xCoord="114" yCoord="252"/>
133
<arcpath arcPointType="false" id="1" xCoord="88" yCoord="88"/>
134
<arcpath arcPointType="false" id="2" xCoord="336" yCoord="27"/>
136
<arc id="raising to waitOne" inscription="[0,inf)" source="raising" target="waitOne" type="tapnInhibitor" weight="1">
137
<arcpath arcPointType="false" id="0" xCoord="314" yCoord="386"/>
138
<arcpath arcPointType="false" id="1" xCoord="328" yCoord="478"/>
139
<arcpath arcPointType="false" id="2" xCoord="733" yCoord="433"/>
140
<arcpath arcPointType="false" id="3" xCoord="628" yCoord="133"/>
141
<arcpath arcPointType="false" id="4" xCoord="346" yCoord="27"/>
143
<arc id="closed to waitOne1" inscription="[0,inf)" source="closed" target="waitOne1" type="tapnInhibitor" weight="1">
144
<arcpath arcPointType="false" id="0" xCoord="530" yCoord="264"/>
145
<arcpath arcPointType="false" id="1" xCoord="606" yCoord="372"/>
147
<arc id="app_first to P0" inscription="1" source="app_first" target="P0" type="normal" weight="1">
148
<arcpath arcPointType="false" id="0" xCoord="642" yCoord="57"/>
149
<arcpath arcPointType="false" id="1" xCoord="616" yCoord="147"/>
151
<arc id="P0 to L" inscription="[0,inf)" source="P0" target="L" type="timed" weight="1">
152
<arcpath arcPointType="false" id="0" xCoord="597" yCoord="160"/>
153
<arcpath arcPointType="false" id="1" xCoord="437" yCoord="142"/>
155
<arc id="P0 to T3" inscription="[0,inf)" source="P0" target="T3" type="timed" weight="1">
156
<arcpath arcPointType="false" id="0" xCoord="626" yCoord="162"/>
157
<arcpath arcPointType="false" id="1" xCoord="726" yCoord="162"/>
159
<arc id="T3 to error" inscription="1" source="T3" target="error" type="normal" weight="1">
160
<arcpath arcPointType="false" id="0" xCoord="736" yCoord="162"/>
161
<arcpath arcPointType="false" id="1" xCoord="792" yCoord="162"/>
163
<arc id="closed to T3" inscription="[0,inf)" source="closed" target="T3" type="tapnInhibitor" weight="1">
164
<arcpath arcPointType="false" id="0" xCoord="536" yCoord="252"/>
165
<arcpath arcPointType="false" id="1" xCoord="703" yCoord="253"/>
166
<arcpath arcPointType="false" id="2" xCoord="732" yCoord="177"/>
168
<arc id="closed to T5" inscription="[0,inf)" source="closed" target="T5" type="timed" weight="1">
169
<arcpath arcPointType="false" id="0" xCoord="530" yCoord="239"/>
170
<arcpath arcPointType="false" id="1" xCoord="553" yCoord="208"/>
171
<arcpath arcPointType="false" id="2" xCoord="622" yCoord="217"/>
173
<arc id="T5 to closed" inscription="1" source="T5" target="closed" type="normal" weight="1">
174
<arcpath arcPointType="false" id="0" xCoord="621" yCoord="227"/>
175
<arcpath arcPointType="false" id="1" xCoord="568" yCoord="283"/>
176
<arcpath arcPointType="false" id="2" xCoord="534" yCoord="260"/>
178
<arc id="P0 to T5" inscription="[0,inf)" source="P0" target="T5" type="timed" weight="1">
179
<arcpath arcPointType="false" id="0" xCoord="616" yCoord="176"/>
180
<arcpath arcPointType="false" id="1" xCoord="627" yCoord="207"/>
182
<arc id="P0 to up" inscription="[0,inf)" source="P0" target="up" type="tapnInhibitor" weight="1">
183
<arcpath arcPointType="false" id="0" xCoord="597" yCoord="166"/>
184
<arcpath arcPointType="false" id="1" xCoord="433" yCoord="223"/>
185
<arcpath arcPointType="false" id="2" xCoord="447" yCoord="357"/>
188
<net active="true" id="Controller" type="P/T net">
189
<place id="in" initialMarking="0" invariant="< inf" markingOffsetX="0.0" markingOffsetY="0.0" name="in" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="45.0" positionY="315.0"/>
190
<place id="far" initialMarking="3" invariant="< inf" markingOffsetX="0.0" markingOffsetY="0.0" name="far" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="315.0" positionY="315.0"/>
191
<place id="comming" initialMarking="0" invariant="<= 0" markingOffsetX="0.0" markingOffsetY="0.0" name="comming" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="315.0" positionY="105.0"/>
192
<place id="leaving" initialMarking="0" invariant="<= 0" markingOffsetX="0.0" markingOffsetY="0.0" name="leaving" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="330.0" positionY="525.0"/>
193
<place id="waiting" initialMarking="0" invariant="<= 1" markingOffsetX="0.0" markingOffsetY="0.0" name="waiting" nameOffsetX="-4.0" nameOffsetY="10.0" positionX="315.0" positionY="0.0"/>
194
<place id="P1" initialMarking="0" invariant="<= 1" markingOffsetX="0.0" markingOffsetY="0.0" name="P1" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="330.0" positionY="645.0"/>
195
<transition angle="0" id="app_first" infiniteServer="false" name="app_first" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="165.0" positionY="135.0" priority="0"/>
196
<transition angle="0" id="app" infiniteServer="false" name="app" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="165.0" positionY="255.0" priority="0"/>
197
<transition angle="0" id="exit" infiniteServer="false" name="exit" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="165.0" positionY="390.0" priority="0"/>
198
<transition angle="0" id="exit_last" infiniteServer="false" name="exit_last" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="165.0" positionY="510.0" priority="0"/>
199
<transition angle="0" id="down" infiniteServer="false" name="down" nameOffsetX="-3.0" nameOffsetY="-7.0" positionX="420.0" positionY="60.0" priority="0"/>
200
<transition angle="0" id="down1" infiniteServer="false" name="down1" nameOffsetX="-4.0" nameOffsetY="49.0" positionX="420.0" positionY="150.0" priority="0"/>
201
<transition angle="0" id="up" infiniteServer="false" name="up" nameOffsetX="-4.0" nameOffsetY="-15.0" positionX="435.0" positionY="525.0" priority="0"/>
202
<transition angle="0" id="waitOne" infiniteServer="false" name="waitOne" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="255.0" positionY="45.0" priority="0"/>
203
<transition angle="0" id="ready" infiniteServer="false" name="ready" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="360.0" positionY="45.0" priority="0"/>
204
<transition angle="0" id="waitOne1" infiniteServer="false" name="waitOne1" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="285.0" positionY="585.0" priority="0"/>
205
<transition angle="0" id="return" infiniteServer="false" name="return" nameOffsetX="-5.0" nameOffsetY="35.0" positionX="375.0" positionY="585.0" priority="0"/>
206
<arc id="in to app" inscription="[0,inf)" source="in" target="app" type="timed" weight="1">
207
<arcpath arcPointType="false" id="0" xCoord="66" yCoord="315"/>
208
<arcpath arcPointType="false" id="1" xCoord="104" yCoord="269"/>
209
<arcpath arcPointType="false" id="2" xCoord="172" yCoord="262"/>
211
<arc id="app to in" inscription="1" source="app" target="in" type="normal" weight="2">
212
<arcpath arcPointType="false" id="0" xCoord="171" yCoord="272"/>
213
<arcpath arcPointType="false" id="1" xCoord="134" yCoord="329"/>
214
<arcpath arcPointType="false" id="2" xCoord="71" yCoord="327"/>
216
<arc id="far to app" inscription="[0,inf)" source="far" target="app" type="timed" weight="1">
217
<arcpath arcPointType="false" id="0" xCoord="313" yCoord="321"/>
218
<arcpath arcPointType="false" id="1" xCoord="181" yCoord="267"/>
220
<arc id="far to app_first" inscription="[0,inf)" source="far" target="app_first" type="timed" weight="trains">
221
<arcpath arcPointType="false" id="0" xCoord="321" yCoord="312"/>
222
<arcpath arcPointType="false" id="1" xCoord="284" yCoord="209"/>
223
<arcpath arcPointType="false" id="2" xCoord="182" yCoord="146"/>
225
<arc id="app_first to far" inscription="1" source="app_first" target="far" type="normal" weight="trains_minus_1">
226
<arcpath arcPointType="false" id="0" xCoord="181" yCoord="153"/>
227
<arcpath arcPointType="false" id="1" xCoord="239" yCoord="239"/>
228
<arcpath arcPointType="false" id="2" xCoord="316" yCoord="316"/>
230
<arc id="app_first to in" inscription="1" source="app_first" target="in" type="normal" weight="1">
231
<arcpath arcPointType="false" id="0" xCoord="171" yCoord="147"/>
232
<arcpath arcPointType="false" id="1" xCoord="65" yCoord="314"/>
234
<arc id="app_first to comming" inscription="1" source="app_first" target="comming" type="normal" weight="1">
235
<arcpath arcPointType="false" id="0" xCoord="182" yCoord="139"/>
236
<arcpath arcPointType="false" id="1" xCoord="312" yCoord="119"/>
238
<arc id="comming to down" inscription="[0,inf)" source="comming" target="down" type="timed" weight="1">
239
<arcpath arcPointType="false" id="0" xCoord="340" yCoord="110"/>
240
<arcpath arcPointType="false" id="1" xCoord="426" yCoord="72"/>
242
<arc id="comming to down1" inscription="[0,inf)" source="comming" target="down1" type="timed" weight="1">
243
<arcpath arcPointType="false" id="0" xCoord="340" yCoord="123"/>
244
<arcpath arcPointType="false" id="1" xCoord="426" yCoord="162"/>
246
<arc id="in to exit" inscription="[0,inf)" source="in" target="exit" type="timed" weight="2">
247
<arcpath arcPointType="false" id="0" xCoord="58" yCoord="341"/>
248
<arcpath arcPointType="false" id="1" xCoord="59" yCoord="344"/>
249
<arcpath arcPointType="false" id="2" xCoord="134" yCoord="359"/>
250
<arcpath arcPointType="false" id="3" xCoord="172" yCoord="397"/>
252
<arc id="exit to in" inscription="1" source="exit" target="in" type="normal" weight="1">
253
<arcpath arcPointType="false" id="0" xCoord="171" yCoord="407"/>
254
<arcpath arcPointType="false" id="1" xCoord="89" yCoord="419"/>
255
<arcpath arcPointType="false" id="2" xCoord="61" yCoord="341"/>
257
<arc id="exit to far" inscription="1" source="exit" target="far" type="normal" weight="1">
258
<arcpath arcPointType="false" id="0" xCoord="181" yCoord="402"/>
259
<arcpath arcPointType="false" id="1" xCoord="313" yCoord="333"/>
261
<arc id="in to exit_last" inscription="[0,inf)" source="in" target="exit_last" type="timed" weight="1">
262
<arcpath arcPointType="false" id="0" xCoord="58" yCoord="341"/>
263
<arcpath arcPointType="false" id="1" xCoord="74" yCoord="479"/>
264
<arcpath arcPointType="false" id="2" xCoord="171" yCoord="522"/>
266
<arc id="exit_last to leaving" inscription="1" source="exit_last" target="leaving" type="normal" weight="1">
267
<arcpath arcPointType="false" id="0" xCoord="181" yCoord="527"/>
268
<arcpath arcPointType="false" id="1" xCoord="327" yCoord="536"/>
270
<arc id="leaving to up" inscription="[0,inf)" source="leaving" target="up" type="timed" weight="1">
271
<arcpath arcPointType="false" id="0" xCoord="356" yCoord="537"/>
272
<arcpath arcPointType="false" id="1" xCoord="441" yCoord="537"/>
274
<arc id="far to exit_last" inscription="[0,inf)" source="far" target="exit_last" type="timed" weight="trains_minus_1">
275
<arcpath arcPointType="false" id="0" xCoord="322" yCoord="341"/>
276
<arcpath arcPointType="false" id="1" xCoord="284" yCoord="464"/>
277
<arcpath arcPointType="false" id="2" xCoord="182" yCoord="517"/>
279
<arc id="exit_last to far" inscription="1" source="exit_last" target="far" type="normal" weight="trains">
280
<arcpath arcPointType="false" id="0" xCoord="177" yCoord="507"/>
281
<arcpath arcPointType="false" id="1" xCoord="224" yCoord="434"/>
282
<arcpath arcPointType="false" id="2" xCoord="316" yCoord="337"/>
284
<arc id="comming to waitOne" inscription="[0,inf)" source="comming" target="waitOne" type="timed" weight="1">
285
<arcpath arcPointType="false" id="0" xCoord="316" yCoord="106"/>
286
<arcpath arcPointType="false" id="1" xCoord="271" yCoord="62"/>
288
<arc id="waitOne to waiting" inscription="1" source="waitOne" target="waiting" type="normal" weight="1">
289
<arcpath arcPointType="false" id="0" xCoord="272" yCoord="52"/>
290
<arcpath arcPointType="false" id="1" xCoord="314" yCoord="20"/>
292
<arc id="waiting to ready" inscription="[0,inf)" source="waiting" target="ready" type="timed" weight="1">
293
<arcpath arcPointType="false" id="0" xCoord="337" yCoord="22"/>
294
<arcpath arcPointType="false" id="1" xCoord="367" yCoord="52"/>
296
<arc id="ready to comming" inscription="1" source="ready" target="comming" type="normal" weight="1">
297
<arcpath arcPointType="false" id="0" xCoord="366" yCoord="62"/>
298
<arcpath arcPointType="false" id="1" xCoord="335" yCoord="104"/>
300
<arc id="leaving to waitOne1" inscription="[0,inf)" source="leaving" target="waitOne1" type="timed" weight="1">
301
<arcpath arcPointType="false" id="0" xCoord="333" yCoord="549"/>
302
<arcpath arcPointType="false" id="1" xCoord="302" yCoord="592"/>
304
<arc id="waitOne1 to P1" inscription="1" source="waitOne1" target="P1" type="normal" weight="1">
305
<arcpath arcPointType="false" id="0" xCoord="301" yCoord="602"/>
306
<arcpath arcPointType="false" id="1" xCoord="333" yCoord="644"/>
308
<arc id="P1 to return" inscription="[0,inf)" source="P1" target="return" type="timed" weight="1">
309
<arcpath arcPointType="false" id="0" xCoord="350" yCoord="644"/>
310
<arcpath arcPointType="false" id="1" xCoord="381" yCoord="602"/>
312
<arc id="return to leaving" inscription="1" source="return" target="leaving" type="normal" weight="1">
313
<arcpath arcPointType="false" id="0" xCoord="382" yCoord="592"/>
314
<arcpath arcPointType="false" id="1" xCoord="350" yCoord="549"/>
317
<query active="true" capacity="3" discreteInclusion="false" extrapolationOption="null" hashTableSize="null" inclusionPlaces="*NONE*" name="TRUE" query="AG !(Barrier.open>=1 and Train.on>=1)" reductionOption="VerifyTAPNdiscreteVerification" searchOption="HEURISTIC" symmetry="true" traceOption="NONE"/>
318
<query active="true" capacity="3" discreteInclusion="false" extrapolationOption="null" hashTableSize="null" inclusionPlaces="*NONE*" name="TRUE" query="AG Barrier.error=0" reductionOption="VerifyTAPNdiscreteVerification" searchOption="HEURISTIC" symmetry="true" traceOption="SOME"/>
319
<query active="true" capacity="3" discreteInclusion="false" extrapolationOption="null" hashTableSize="null" inclusionPlaces="*NONE*" name="TRUE" query="EG Train.far>=2" reductionOption="VerifyTAPNdiscreteVerification" searchOption="HEURISTIC" symmetry="true" traceOption="SOME"/>
320
<query active="true" capacity="3" discreteInclusion="false" extrapolationOption="null" hashTableSize="null" inclusionPlaces="*NONE*" name="TRUE" query="AF Barrier.closed=1" reductionOption="VerifyTAPNdiscreteVerification" searchOption="HEURISTIC" symmetry="true" traceOption="NONE"/>
321
<query active="true" capacity="3" discreteInclusion="false" extrapolationOption="null" hashTableSize="null" inclusionPlaces="*NONE*" name="FALSE" query="AF Barrier.error=1" reductionOption="VerifyTAPNdiscreteVerification" searchOption="HEURISTIC" symmetry="true" traceOption="SOME"/>
322
<query active="true" capacity="3" discreteInclusion="false" extrapolationOption="null" hashTableSize="null" inclusionPlaces="*NONE*" name="TRUE" query="AG ((Controller.far=1 and Controller.in=2) or (Controller.far=3 and Controller.in=0) or (Controller.far=2 and Controller.in=1) or (Controller.far=0 and Controller.in=3))" reductionOption="VerifyTAPNdiscreteVerification" searchOption="HEURISTIC" symmetry="true" traceOption="SOME"/>
323
<query active="true" capacity="3" discreteInclusion="false" extrapolationOption="null" hashTableSize="null" inclusionPlaces="*NONE*" name="FALSE" query="AG ((Controller.far=1 and Controller.in=2) or (Controller.far=3 and Controller.in=0) or (Controller.far=2 and Controller.in=1) or (Controller.far=0 and Controller.in=2))" reductionOption="VerifyTAPNdiscreteVerification" searchOption="HEURISTIC" symmetry="true" traceOption="NONE"/>
324
<query active="true" capacity="3" discreteInclusion="false" extrapolationOption="null" hashTableSize="null" inclusionPlaces="*NONE*" name="FALSE" query="EG Barrier.open>=1" reductionOption="VerifyTAPNdiscreteVerification" searchOption="HEURISTIC" symmetry="true" traceOption="NONE"/>
325
<query active="true" capacity="3" discreteInclusion="false" extrapolationOption="null" hashTableSize="null" inclusionPlaces="*NONE*" name="FALSE" query="AF Controller.in=2" reductionOption="VerifyTAPNdiscreteVerification" searchOption="HEURISTIC" symmetry="true" traceOption="SOME"/>