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">
5
<place id="Train_close">
7
<position x="105" y="225"/>
11
<offset x="-5" y="35"/>
13
<text>Train_close</text>
21
<position x="330" y="120"/>
25
<offset x="-5" y="35"/>
33
<place id="Train_far">
35
<position x="345" y="390"/>
39
<offset x="-5" y="35"/>
41
<text>Train_far</text>
47
<place id="Train_left">
49
<position x="555" y="240"/>
53
<offset x="-23" y="5"/>
55
<text>Train_left</text>
61
<place id="Barrier_open">
63
<position x="900" y="255"/>
67
<offset x="-5" y="35"/>
69
<text>Barrier_open</text>
75
<place id="Barrier_lowering">
77
<position x="1080" y="120"/>
81
<offset x="-5" y="35"/>
83
<text>Barrier_lowering</text>
89
<place id="Barrier_raising">
91
<position x="1095" y="360"/>
95
<offset x="-5" y="35"/>
97
<text>Barrier_raising</text>
103
<place id="Barrier_closed">
105
<position x="1305" y="240"/>
109
<offset x="-5" y="35"/>
111
<text>Barrier_closed</text>
117
<place id="Barrier_P0">
119
<position x="1395" y="150"/>
123
<offset x="-5" y="35"/>
125
<text>Barrier_P0</text>
131
<place id="Barrier_error">
133
<position x="1590" y="150"/>
137
<offset x="-5" y="35"/>
139
<text>Barrier_error</text>
145
<place id="Controller_in">
147
<position x="45" y="960"/>
151
<offset x="-5" y="35"/>
153
<text>Controller_in</text>
159
<place id="Controller_far">
161
<position x="315" y="960"/>
165
<offset x="-5" y="35"/>
167
<text>Controller_far</text>
173
<place id="Controller_comming">
175
<position x="315" y="750"/>
179
<offset x="-5" y="35"/>
181
<text>Controller_comming</text>
187
<place id="Controller_leaving">
189
<position x="330" y="1170"/>
193
<offset x="-5" y="35"/>
195
<text>Controller_leaving</text>
201
<place id="Controller_waiting">
203
<position x="315" y="645"/>
207
<offset x="-4" y="10"/>
209
<text>Controller_waiting</text>
215
<place id="Controller_P1">
217
<position x="330" y="1290"/>
221
<offset x="-5" y="35"/>
223
<text>Controller_P1</text>
229
<transition id="Train_in">
232
<offset x="-5" y="35"/>
234
<text>Train_in</text>
237
<position x="180" y="120"/>
240
<transition id="Train_ex">
243
<offset x="-5" y="35"/>
245
<text>Train_ex</text>
248
<position x="465" y="120"/>
251
<transition id="Shared_app">
254
<offset x="-5" y="35"/>
256
<text>Shared_app</text>
259
<position x="210" y="330"/>
262
<transition id="Shared_app_first">
265
<offset x="-5" y="35"/>
267
<text>Shared_app_first</text>
270
<position x="165" y="420"/>
273
<transition id="Shared_exit">
276
<offset x="-5" y="35"/>
278
<text>Shared_exit</text>
281
<position x="435" y="315"/>
284
<transition id="Shared_exit_last">
287
<offset x="-5" y="35"/>
289
<text>Shared_exit_last</text>
292
<position x="510" y="405"/>
295
<transition id="Shared_down">
298
<offset x="-5" y="35"/>
300
<text>Shared_down</text>
303
<position x="945" y="135"/>
306
<transition id="Shared_down1">
309
<offset x="-5" y="35"/>
311
<text>Shared_down1</text>
314
<position x="1080" y="240"/>
317
<transition id="Barrier_L">
320
<offset x="-5" y="35"/>
322
<text>Barrier_L</text>
325
<position x="1215" y="135"/>
328
<transition id="Shared_up">
331
<offset x="-5" y="35"/>
333
<text>Shared_up</text>
336
<position x="1230" y="360"/>
339
<transition id="Barrier_R">
342
<offset x="-5" y="35"/>
344
<text>Barrier_R</text>
347
<position x="960" y="360"/>
350
<transition id="Shared_waitOne">
353
<offset x="-5" y="35"/>
355
<text>Shared_waitOne</text>
358
<position x="1125" y="15"/>
361
<transition id="Shared_waitOne1">
364
<offset x="-5" y="35"/>
366
<text>Shared_waitOne1</text>
369
<position x="1395" y="360"/>
372
<transition id="Barrier_T3">
375
<offset x="-5" y="35"/>
377
<text>Barrier_T3</text>
380
<position x="1515" y="150"/>
383
<transition id="Barrier_T5">
386
<offset x="-5" y="35"/>
388
<text>Barrier_T5</text>
391
<position x="1410" y="210"/>
394
<transition id="Controller_ready">
397
<offset x="-5" y="35"/>
399
<text>Controller_ready</text>
402
<position x="360" y="690"/>
405
<transition id="Controller_return">
408
<offset x="-5" y="35"/>
410
<text>Controller_return</text>
413
<position x="375" y="1230"/>
416
<arc id="Train_close_to_Train_in" source="Train_close" target="Train_in" type="normal"/>
417
<arc id="Train_on_to_Train_ex" source="Train_on" target="Train_ex" type="normal"/>
418
<arc id="Train_left_to_Shared_exit_last" source="Train_left" target="Shared_exit_last" type="normal"/>
419
<arc id="Train_left_to_Shared_exit" source="Train_left" target="Shared_exit" type="normal"/>
420
<arc id="Train_far_to_Shared_app" source="Train_far" target="Shared_app" type="normal"/>
421
<arc id="Train_far_to_Shared_app_first" source="Train_far" target="Shared_app_first" type="normal"/>
422
<arc id="Barrier_open_to_Shared_down" source="Barrier_open" target="Shared_down" type="normal"/>
423
<arc id="Barrier_lowering_to_Barrier_L" source="Barrier_lowering" target="Barrier_L" type="normal"/>
424
<arc id="Barrier_closed_to_Shared_up" source="Barrier_closed" target="Shared_up" type="normal"/>
425
<arc id="Barrier_raising_to_Barrier_R" source="Barrier_raising" target="Barrier_R" type="normal"/>
426
<arc id="Barrier_raising_to_Shared_down1" source="Barrier_raising" target="Shared_down1" type="normal"/>
427
<arc id="Barrier_P0_to_Barrier_L" source="Barrier_P0" target="Barrier_L" type="normal"/>
428
<arc id="Barrier_P0_to_Barrier_T3" source="Barrier_P0" target="Barrier_T3" type="normal"/>
429
<arc id="Barrier_closed_to_Barrier_T5" source="Barrier_closed" target="Barrier_T5" type="normal">
431
<position x="1349" y="209"/>
434
<arc id="Barrier_P0_to_Barrier_T5" source="Barrier_P0" target="Barrier_T5" type="normal"/>
435
<arc id="Controller_in_to_Shared_app" source="Controller_in" target="Shared_app" type="normal">
437
<position x="105" y="915"/>
440
<arc id="Controller_far_to_Shared_app" source="Controller_far" target="Shared_app" type="normal"/>
441
<arc id="Controller_far_to_Shared_app_first" source="Controller_far" target="Shared_app_first" type="normal">
446
<position x="285" y="855"/>
449
<arc id="Controller_comming_to_Shared_down" source="Controller_comming" target="Shared_down" type="normal"/>
450
<arc id="Controller_comming_to_Shared_down1" source="Controller_comming" target="Shared_down1" type="normal"/>
451
<arc id="Controller_in_to_Shared_exit" source="Controller_in" target="Shared_exit" type="normal">
456
<position x="60" y="990"/>
457
<position x="135" y="1005"/>
460
<arc id="Controller_in_to_Shared_exit_last" source="Controller_in" target="Shared_exit_last" type="normal">
462
<position x="75" y="1125"/>
465
<arc id="Controller_leaving_to_Shared_up" source="Controller_leaving" target="Shared_up" type="normal"/>
466
<arc id="Controller_far_to_Shared_exit_last" source="Controller_far" target="Shared_exit_last" type="normal">
471
<position x="285" y="1110"/>
474
<arc id="Controller_comming_to_Shared_waitOne" source="Controller_comming" target="Shared_waitOne" type="normal"/>
475
<arc id="Controller_waiting_to_Controller_ready" source="Controller_waiting" target="Controller_ready" type="normal"/>
476
<arc id="Controller_leaving_to_Shared_waitOne1" source="Controller_leaving" target="Shared_waitOne1" type="normal"/>
477
<arc id="Controller_P1_to_Controller_return" source="Controller_P1" target="Controller_return" type="normal"/>
478
<arc id="Train_in_to_Train_on" source="Train_in" target="Train_on" type="normal"/>
479
<arc id="Train_ex_to_Train_left" source="Train_ex" target="Train_left" type="normal"/>
480
<arc id="Shared_exit_last_to_Train_far" source="Shared_exit_last" target="Train_far" type="normal"/>
481
<arc id="Shared_exit_to_Train_far" source="Shared_exit" target="Train_far" type="normal"/>
482
<arc id="Shared_app_to_Train_close" source="Shared_app" target="Train_close" type="normal"/>
483
<arc id="Shared_app_first_to_Train_close" source="Shared_app_first" target="Train_close" type="normal"/>
484
<arc id="Shared_down_to_Barrier_lowering" source="Shared_down" target="Barrier_lowering" type="normal"/>
485
<arc id="Barrier_L_to_Barrier_closed" source="Barrier_L" target="Barrier_closed" type="normal"/>
486
<arc id="Shared_up_to_Barrier_raising" source="Shared_up" target="Barrier_raising" type="normal"/>
487
<arc id="Barrier_R_to_Barrier_open" source="Barrier_R" target="Barrier_open" type="normal"/>
488
<arc id="Shared_down1_to_Barrier_lowering" source="Shared_down1" target="Barrier_lowering" type="normal"/>
489
<arc id="Shared_app_first_to_Barrier_P0" source="Shared_app_first" target="Barrier_P0" type="normal"/>
490
<arc id="Barrier_T3_to_Barrier_error" source="Barrier_T3" target="Barrier_error" type="normal"/>
491
<arc id="Barrier_T5_to_Barrier_closed" source="Barrier_T5" target="Barrier_closed" type="normal">
493
<position x="1364" y="284"/>
496
<arc id="Shared_app_to_Controller_in" source="Shared_app" target="Controller_in" type="normal">
501
<position x="135" y="975"/>
504
<arc id="Shared_app_first_to_Controller_far" source="Shared_app_first" target="Controller_far" type="normal">
509
<position x="240" y="885"/>
512
<arc id="Shared_app_first_to_Controller_in" source="Shared_app_first" target="Controller_in" type="normal"/>
513
<arc id="Shared_app_first_to_Controller_comming" source="Shared_app_first" target="Controller_comming" type="normal"/>
514
<arc id="Shared_exit_to_Controller_in" source="Shared_exit" target="Controller_in" type="normal">
516
<position x="90" y="1065"/>
519
<arc id="Shared_exit_to_Controller_far" source="Shared_exit" target="Controller_far" type="normal"/>
520
<arc id="Shared_exit_last_to_Controller_leaving" source="Shared_exit_last" target="Controller_leaving" type="normal"/>
521
<arc id="Shared_exit_last_to_Controller_far" source="Shared_exit_last" target="Controller_far" type="normal">
526
<position x="225" y="1080"/>
529
<arc id="Shared_waitOne_to_Controller_waiting" source="Shared_waitOne" target="Controller_waiting" type="normal"/>
530
<arc id="Controller_ready_to_Controller_comming" source="Controller_ready" target="Controller_comming" type="normal"/>
531
<arc id="Shared_waitOne1_to_Controller_P1" source="Shared_waitOne1" target="Controller_P1" type="normal"/>
532
<arc id="Controller_return_to_Controller_leaving" source="Controller_return" target="Controller_leaving" type="normal"/>
533
<arc id="Barrier_open_to_Shared_waitOne" source="Barrier_open" target="Shared_waitOne" type="inhibitor">
535
<position x="884" y="89"/>
538
<arc id="Barrier_raising_to_Shared_waitOne" source="Barrier_raising" target="Shared_waitOne" type="inhibitor">
540
<position x="1124" y="479"/>
541
<position x="1529" y="434"/>
542
<position x="1424" y="134"/>
545
<arc id="Barrier_closed_to_Shared_waitOne1" source="Barrier_closed" target="Shared_waitOne1" type="inhibitor"/>
546
<arc id="Barrier_closed_to_Barrier_T3" source="Barrier_closed" target="Barrier_T3" type="inhibitor">
548
<position x="1499" y="254"/>
551
<arc id="Barrier_P0_to_Shared_up" source="Barrier_P0" target="Shared_up" type="inhibitor">
553
<position x="1229" y="224"/>
558
<text>ComposedModel</text>