1
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
2
<pnml xmlns="http://www.pnml.org/version-2009/grammar/pnml">
3
<net id="ComposedModel" type="http://www.pnml.org/version-2009/grammar/ptnet">
7
<position x="120" y="270"/>
11
<offset x="-5" y="35"/>
21
<position x="255" y="270"/>
25
<offset x="-5" y="35"/>
35
<position x="375" y="270"/>
39
<offset x="-5" y="35"/>
47
<place id="Train_Crossing">
49
<position x="540" y="270"/>
53
<offset x="49" y="-17"/>
55
<text>Train_Crossing</text>
63
<position x="660" y="270"/>
67
<offset x="-5" y="35"/>
77
<position x="300" y="90"/>
81
<offset x="-5" y="35"/>
89
<place id="LevelCrossing_P0">
91
<position x="1155" y="75"/>
95
<offset x="-5" y="35"/>
97
<text>LevelCrossing_P0</text>
103
<place id="LevelCrossing_P1">
105
<position x="930" y="270"/>
109
<offset x="105" y="38"/>
111
<text>LevelCrossing_P1</text>
117
<place id="LevelCrossing_P7">
119
<position x="1200" y="270"/>
123
<offset x="60" y="40"/>
125
<text>LevelCrossing_P7</text>
131
<place id="LevelCrossing_P8">
133
<position x="1380" y="270"/>
137
<offset x="40" y="39"/>
139
<text>LevelCrossing_P8</text>
145
<place id="TragicLight_Green">
147
<position x="45" y="765"/>
151
<offset x="-5" y="35"/>
153
<text>TragicLight_Green</text>
159
<place id="TragicLight_Yellow">
161
<position x="360" y="675"/>
165
<offset x="-5" y="35"/>
167
<text>TragicLight_Yellow</text>
173
<place id="TragicLight_Red">
175
<position x="690" y="765"/>
179
<offset x="-5" y="35"/>
181
<text>TragicLight_Red</text>
187
<place id="TragicLight_Request">
189
<position x="315" y="555"/>
193
<offset x="-15" y="18"/>
195
<text>TragicLight_Request</text>
201
<transition id="Train_BrakingStarts">
204
<offset x="43" y="61"/>
206
<text>Train_BrakingStarts</text>
209
<position x="180" y="270"/>
212
<transition id="Shared_BrakingStops">
215
<offset x="44" y="59"/>
217
<text>Shared_BrakingStops</text>
220
<position x="315" y="270"/>
223
<transition id="Train_DangerZoneEntrance">
226
<offset x="53" y="55"/>
228
<text>Train_DangerZoneEntrance</text>
231
<position x="495" y="270"/>
234
<transition id="Train_DangerZoneExit">
237
<offset x="53" y="56"/>
239
<text>Train_DangerZoneExit</text>
242
<position x="600" y="270"/>
245
<transition id="Shared_RadioSignalSending">
248
<offset x="59" y="62"/>
250
<text>Shared_RadioSignalSending</text>
253
<position x="45" y="270"/>
256
<transition id="Shared_OutputConnection">
259
<offset x="76" y="56"/>
261
<text>Shared_OutputConnection</text>
264
<position x="750" y="270"/>
267
<transition id="Shared_StopCars">
270
<offset x="29" y="62"/>
272
<text>Shared_StopCars</text>
275
<position x="1080" y="270"/>
278
<transition id="TragicLight_T1">
281
<offset x="-5" y="35"/>
283
<text>TragicLight_T1</text>
286
<position x="180" y="720"/>
289
<transition id="TragicLight_T2">
292
<offset x="-5" y="35"/>
294
<text>TragicLight_T2</text>
297
<position x="525" y="720"/>
300
<transition id="TragicLight_T5">
303
<offset x="-5" y="35"/>
305
<text>TragicLight_T5</text>
308
<position x="345" y="870"/>
311
<transition id="TragicLight_T7">
314
<offset x="-5" y="35"/>
316
<text>TragicLight_T7</text>
319
<position x="450" y="570"/>
322
<transition id="TragicLight_T8">
325
<offset x="-5" y="35"/>
327
<text>TragicLight_T8</text>
330
<position x="645" y="555"/>
333
<arc id="Train_P5_to_Shared_RadioSignalSending" source="Train_P5" target="Shared_RadioSignalSending" type="normal"/>
334
<arc id="Train_P0_to_Train_BrakingStarts" source="Train_P0" target="Train_BrakingStarts" type="normal"/>
335
<arc id="Train_P1_to_Shared_BrakingStops" source="Train_P1" target="Shared_BrakingStops" type="normal"/>
336
<arc id="Train_P2_to_Train_DangerZoneEntrance" source="Train_P2" target="Train_DangerZoneEntrance" type="normal"/>
337
<arc id="Train_Crossing_to_Train_DangerZoneExit" source="Train_Crossing" target="Train_DangerZoneExit" type="normal"/>
338
<arc id="Train_P4_to_Shared_OutputConnection" source="Train_P4" target="Shared_OutputConnection" type="normal"/>
339
<arc id="LevelCrossing_P0_to_Shared_RadioSignalSending" source="LevelCrossing_P0" target="Shared_RadioSignalSending" type="normal"/>
340
<arc id="LevelCrossing_P8_to_Shared_OutputConnection" source="LevelCrossing_P8" target="Shared_OutputConnection" type="normal"/>
341
<arc id="TragicLight_Green_to_TragicLight_T1" source="TragicLight_Green" target="TragicLight_T1" type="normal"/>
342
<arc id="TragicLight_Request_to_TragicLight_T1" source="TragicLight_Request" target="TragicLight_T1" type="normal"/>
343
<arc id="TragicLight_Yellow_to_TragicLight_T2" source="TragicLight_Yellow" target="TragicLight_T2" type="normal"/>
344
<arc id="TragicLight_Red_to_TragicLight_T5" source="TragicLight_Red" target="TragicLight_T5" type="normal"/>
345
<arc id="TragicLight_Request_to_TragicLight_T7" source="TragicLight_Request" target="TragicLight_T7" type="normal"/>
346
<arc id="TragicLight_Request_to_TragicLight_T8" source="TragicLight_Request" target="TragicLight_T8" type="normal">
348
<position x="515" y="500"/>
351
<arc id="TragicLight_Red_to_TragicLight_T8" source="TragicLight_Red" target="TragicLight_T8" type="normal">
353
<position x="635" y="680"/>
356
<arc id="Shared_RadioSignalSending_to_Train_P0" source="Shared_RadioSignalSending" target="Train_P0" type="normal"/>
357
<arc id="Train_BrakingStarts_to_Train_P1" source="Train_BrakingStarts" target="Train_P1" type="normal"/>
358
<arc id="Shared_BrakingStops_to_Train_P2" source="Shared_BrakingStops" target="Train_P2" type="normal"/>
359
<arc id="Train_DangerZoneEntrance_to_Train_Crossing" source="Train_DangerZoneEntrance" target="Train_Crossing" type="normal"/>
360
<arc id="Train_DangerZoneExit_to_Train_P4" source="Train_DangerZoneExit" target="Train_P4" type="normal"/>
361
<arc id="Shared_OutputConnection_to_Train_P5" source="Shared_OutputConnection" target="Train_P5" type="normal"/>
362
<arc id="Shared_OutputConnection_to_LevelCrossing_P0" source="Shared_OutputConnection" target="LevelCrossing_P0" type="normal"/>
363
<arc id="Shared_RadioSignalSending_to_LevelCrossing_P1" source="Shared_RadioSignalSending" target="LevelCrossing_P1" type="normal"/>
364
<arc id="Shared_StopCars_to_TragicLight_Request" source="Shared_StopCars" target="TragicLight_Request" type="normal"/>
365
<arc id="TragicLight_T1_to_TragicLight_Yellow" source="TragicLight_T1" target="TragicLight_Yellow" type="normal"/>
366
<arc id="TragicLight_T2_to_TragicLight_Red" source="TragicLight_T2" target="TragicLight_Red" type="normal"/>
367
<arc id="TragicLight_T5_to_TragicLight_Green" source="TragicLight_T5" target="TragicLight_Green" type="normal"/>
368
<arc id="TragicLight_T8_to_TragicLight_Red" source="TragicLight_T8" target="TragicLight_Red" type="normal">
370
<position x="740" y="665"/>
373
<arc id="LevelCrossing_P7_to_Shared_BrakingStops" source="LevelCrossing_P7" target="Shared_BrakingStops" type="normal"/>
374
<arc id="Shared_BrakingStops_to_LevelCrossing_P8" source="Shared_BrakingStops" target="LevelCrossing_P8" type="normal">
376
<position x="1325" y="290"/>
379
<arc id="LevelCrossing_P1_to_Shared_StopCars" source="LevelCrossing_P1" target="Shared_StopCars" type="normal"/>
380
<arc id="Shared_StopCars_to_LevelCrossing_P7" source="Shared_StopCars" target="LevelCrossing_P7" type="normal"/>
381
<arc id="TragicLight_Yellow_to_TragicLight_T7" source="TragicLight_Yellow" target="TragicLight_T7" type="normal">
383
<position x="409" y="619"/>
386
<arc id="TragicLight_T7_to_TragicLight_Yellow" source="TragicLight_T7" target="TragicLight_Yellow" type="normal">
388
<position x="469" y="589"/>
389
<position x="469" y="649"/>
394
<text>ComposedModel</text>