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="transportationBelt_P0">
7
<position x="180" y="210"/>
11
<offset x="-5" y="35"/>
13
<text>transportationBelt_P0</text>
19
<place id="transportationBelt_P1">
21
<position x="195" y="375"/>
25
<offset x="-5" y="35"/>
27
<text>transportationBelt_P1</text>
33
<place id="transportationBelt_P2">
35
<position x="390" y="195"/>
39
<offset x="-5" y="35"/>
41
<text>transportationBelt_P2</text>
47
<place id="transportationBelt_P3">
49
<position x="420" y="375"/>
53
<offset x="-5" y="35"/>
55
<text>transportationBelt_P3</text>
61
<place id="transportationBelt_P4">
63
<position x="630" y="210"/>
67
<offset x="-5" y="35"/>
69
<text>transportationBelt_P4</text>
75
<place id="transportationBelt_P5">
77
<position x="645" y="360"/>
81
<offset x="-5" y="35"/>
83
<text>transportationBelt_P5</text>
89
<place id="transportationBelt_P6">
91
<position x="855" y="195"/>
95
<offset x="-5" y="35"/>
97
<text>transportationBelt_P6</text>
103
<place id="transportationBelt_P7">
105
<position x="870" y="375"/>
109
<offset x="-5" y="35"/>
111
<text>transportationBelt_P7</text>
117
<place id="transportationBelt_P8">
119
<position x="435" y="765"/>
123
<offset x="-5" y="35"/>
125
<text>transportationBelt_P8</text>
131
<place id="Crane_waiting">
133
<position x="1365" y="135"/>
137
<offset x="-5" y="35"/>
139
<text>Crane_waiting</text>
145
<place id="Crane_transportation">
147
<position x="1560" y="345"/>
151
<offset x="-5" y="35"/>
153
<text>Crane_transportation</text>
159
<place id="Crane_stamp">
161
<position x="1650" y="135"/>
165
<offset x="-5" y="35"/>
167
<text>Crane_stamp</text>
173
<place id="Crane_P3">
175
<position x="1350" y="255"/>
179
<offset x="-5" y="35"/>
181
<text>Crane_P3</text>
187
<place id="Crane_P5">
189
<position x="1470" y="75"/>
193
<offset x="-5" y="35"/>
195
<text>Crane_P5</text>
201
<place id="Crane_P6">
203
<position x="1560" y="420"/>
207
<offset x="-5" y="35"/>
209
<text>Crane_P6</text>
215
<place id="finalProducts_Finished">
217
<position x="255" y="1050"/>
221
<offset x="-5" y="35"/>
223
<text>finalProducts_Finished</text>
229
<place id="finalProducts_end">
231
<position x="315" y="1260"/>
235
<offset x="-5" y="35"/>
237
<text>finalProducts_end</text>
243
<transition id="transportationBelt_T0">
246
<offset x="-5" y="35"/>
248
<text>transportationBelt_T0</text>
251
<position x="735" y="210"/>
254
<transition id="transportationBelt_T1">
257
<offset x="-5" y="35"/>
259
<text>transportationBelt_T1</text>
262
<position x="750" y="360"/>
265
<transition id="transportationBelt_T2">
268
<offset x="-5" y="35"/>
270
<text>transportationBelt_T2</text>
273
<position x="510" y="195"/>
276
<transition id="transportationBelt_T3">
279
<offset x="-5" y="35"/>
281
<text>transportationBelt_T3</text>
284
<position x="525" y="360"/>
287
<transition id="transportationBelt_T4">
290
<offset x="-5" y="35"/>
292
<text>transportationBelt_T4</text>
295
<position x="270" y="180"/>
298
<transition id="transportationBelt_T5">
301
<offset x="-5" y="35"/>
303
<text>transportationBelt_T5</text>
306
<position x="285" y="375"/>
309
<transition id="Shared_metal">
312
<offset x="-5" y="35"/>
314
<text>Shared_metal</text>
317
<position x="975" y="195"/>
320
<transition id="Shared_plastic">
323
<offset x="-5" y="35"/>
325
<text>Shared_plastic</text>
328
<position x="990" y="360"/>
331
<transition id="Shared_start">
334
<offset x="-5" y="35"/>
336
<text>Shared_start</text>
339
<position x="435" y="600"/>
342
<transition id="transportationBelt_T9">
345
<offset x="-5" y="35"/>
347
<text>transportationBelt_T9</text>
350
<position x="180" y="450"/>
353
<transition id="Crane_T2">
356
<offset x="-5" y="35"/>
358
<text>Crane_T2</text>
361
<position x="1545" y="90"/>
364
<transition id="Crane_T3">
367
<offset x="-5" y="35"/>
369
<text>Crane_T3</text>
372
<position x="1440" y="300"/>
375
<transition id="Crane_T4">
378
<offset x="-5" y="35"/>
380
<text>Crane_T4</text>
383
<position x="1635" y="255"/>
386
<transition id="Crane_T5">
389
<offset x="-5" y="35"/>
391
<text>Crane_T5</text>
394
<position x="1500" y="210"/>
397
<transition id="Shared_move">
400
<offset x="-5" y="35"/>
402
<text>Shared_move</text>
405
<position x="1560" y="525"/>
408
<transition id="Shared_doneworking">
411
<offset x="-5" y="35"/>
413
<text>Shared_doneworking</text>
416
<position x="1365" y="435"/>
419
<arc id="transportationBelt_P4_to_transportationBelt_T0" source="transportationBelt_P4" target="transportationBelt_T0" type="normal"/>
420
<arc id="transportationBelt_P5_to_transportationBelt_T1" source="transportationBelt_P5" target="transportationBelt_T1" type="normal"/>
421
<arc id="transportationBelt_P2_to_transportationBelt_T2" source="transportationBelt_P2" target="transportationBelt_T2" type="normal"/>
422
<arc id="transportationBelt_P3_to_transportationBelt_T3" source="transportationBelt_P3" target="transportationBelt_T3" type="normal"/>
423
<arc id="transportationBelt_P0_to_transportationBelt_T4" source="transportationBelt_P0" target="transportationBelt_T4" type="normal"/>
424
<arc id="transportationBelt_P1_to_transportationBelt_T5" source="transportationBelt_P1" target="transportationBelt_T5" type="normal"/>
425
<arc id="transportationBelt_P6_to_Shared_metal" source="transportationBelt_P6" target="Shared_metal" type="normal"/>
426
<arc id="transportationBelt_P7_to_Shared_plastic" source="transportationBelt_P7" target="Shared_plastic" type="normal"/>
427
<arc id="transportationBelt_P8_to_Shared_start" source="transportationBelt_P8" target="Shared_start" type="normal"/>
428
<arc id="transportationBelt_P1_to_transportationBelt_T9" source="transportationBelt_P1" target="transportationBelt_T9" type="normal">
430
<position x="163" y="418"/>
433
<arc id="Crane_waiting_to_Shared_metal" source="Crane_waiting" target="Shared_metal" type="normal"/>
434
<arc id="Crane_waiting_to_Shared_plastic" source="Crane_waiting" target="Shared_plastic" type="normal"/>
435
<arc id="Crane_P3_to_Crane_T3" source="Crane_P3" target="Crane_T3" type="normal"/>
436
<arc id="Crane_P5_to_Crane_T2" source="Crane_P5" target="Crane_T2" type="normal"/>
437
<arc id="Crane_stamp_to_Crane_T4" source="Crane_stamp" target="Crane_T4" type="normal"/>
438
<arc id="Crane_transportation_to_Crane_T5" source="Crane_transportation" target="Crane_T5" type="normal"/>
439
<arc id="Crane_P6_to_Shared_move" source="Crane_P6" target="Shared_move" type="normal"/>
440
<arc id="Crane_waiting_to_Shared_doneworking" source="Crane_waiting" target="Shared_doneworking" type="normal">
442
<position x="1408" y="253"/>
445
<arc id="finalProducts_Finished_to_Shared_doneworking" source="finalProducts_Finished" target="Shared_doneworking" type="normal">
450
<arc id="transportationBelt_T0_to_transportationBelt_P6" source="transportationBelt_T0" target="transportationBelt_P6" type="normal"/>
451
<arc id="transportationBelt_T1_to_transportationBelt_P7" source="transportationBelt_T1" target="transportationBelt_P7" type="normal"/>
452
<arc id="transportationBelt_T2_to_transportationBelt_P4" source="transportationBelt_T2" target="transportationBelt_P4" type="normal"/>
453
<arc id="transportationBelt_T3_to_transportationBelt_P5" source="transportationBelt_T3" target="transportationBelt_P5" type="normal"/>
454
<arc id="transportationBelt_T4_to_transportationBelt_P2" source="transportationBelt_T4" target="transportationBelt_P2" type="normal"/>
455
<arc id="transportationBelt_T5_to_transportationBelt_P3" source="transportationBelt_T5" target="transportationBelt_P3" type="normal"/>
456
<arc id="Shared_start_to_transportationBelt_P0" source="Shared_start" target="transportationBelt_P0" type="normal">
458
<position x="448" y="613"/>
461
<arc id="Shared_start_to_transportationBelt_P3" source="Shared_start" target="transportationBelt_P3" type="normal"/>
462
<arc id="Shared_start_to_transportationBelt_P5" source="Shared_start" target="transportationBelt_P5" type="normal"/>
463
<arc id="Shared_start_to_transportationBelt_P6" source="Shared_start" target="transportationBelt_P6" type="normal">
465
<position x="883" y="583"/>
466
<position x="928" y="283"/>
469
<arc id="transportationBelt_T9_to_transportationBelt_P1" source="transportationBelt_T9" target="transportationBelt_P1" type="normal">
471
<position x="238" y="448"/>
474
<arc id="Shared_metal_to_Crane_P5" source="Shared_metal" target="Crane_P5" type="normal">
476
<position x="1333" y="58"/>
479
<arc id="Shared_plastic_to_Crane_P3" source="Shared_plastic" target="Crane_P3" type="normal"/>
480
<arc id="Crane_T3_to_Crane_transportation" source="Crane_T3" target="Crane_transportation" type="normal"/>
481
<arc id="Crane_T2_to_Crane_stamp" source="Crane_T2" target="Crane_stamp" type="normal"/>
482
<arc id="Crane_T4_to_Crane_transportation" source="Crane_T4" target="Crane_transportation" type="normal"/>
483
<arc id="Crane_T5_to_Crane_waiting" source="Crane_T5" target="Crane_waiting" type="normal"/>
484
<arc id="Crane_T3_to_Crane_P6" source="Crane_T3" target="Crane_P6" type="normal">
486
<position x="1468" y="403"/>
489
<arc id="Crane_T4_to_Crane_P6" source="Crane_T4" target="Crane_P6" type="normal">
491
<position x="1663" y="388"/>
492
<position x="1663" y="388"/>
495
<arc id="Shared_start_to_Crane_waiting" source="Shared_start" target="Crane_waiting" type="normal">
497
<position x="1288" y="223"/>
500
<arc id="Shared_move_to_finalProducts_Finished" source="Shared_move" target="finalProducts_Finished" type="normal"/>
501
<arc id="Shared_doneworking_to_finalProducts_end" source="Shared_doneworking" target="finalProducts_end" type="normal"/>
502
<arc id="transportationBelt_P6_to_transportationBelt_T0" source="transportationBelt_P6" target="transportationBelt_T0" type="inhibitor">
504
<position x="838" y="238"/>
507
<arc id="transportationBelt_P7_to_transportationBelt_T0" source="transportationBelt_P7" target="transportationBelt_T0" type="inhibitor"/>
508
<arc id="transportationBelt_P2_to_transportationBelt_T4" source="transportationBelt_P2" target="transportationBelt_T4" type="inhibitor">
510
<position x="328" y="223"/>
513
<arc id="transportationBelt_P3_to_transportationBelt_T4" source="transportationBelt_P3" target="transportationBelt_T4" type="inhibitor"/>
514
<arc id="transportationBelt_P4_to_transportationBelt_T2" source="transportationBelt_P4" target="transportationBelt_T2" type="inhibitor">
516
<position x="598" y="238"/>
519
<arc id="transportationBelt_P5_to_transportationBelt_T2" source="transportationBelt_P5" target="transportationBelt_T2" type="inhibitor"/>
520
<arc id="transportationBelt_P3_to_transportationBelt_T5" source="transportationBelt_P3" target="transportationBelt_T5" type="inhibitor">
522
<position x="358" y="373"/>
525
<arc id="transportationBelt_P2_to_transportationBelt_T5" source="transportationBelt_P2" target="transportationBelt_T5" type="inhibitor"/>
526
<arc id="transportationBelt_P5_to_transportationBelt_T3" source="transportationBelt_P5" target="transportationBelt_T3" type="inhibitor">
528
<position x="568" y="343"/>
531
<arc id="transportationBelt_P4_to_transportationBelt_T3" source="transportationBelt_P4" target="transportationBelt_T3" type="inhibitor"/>
532
<arc id="transportationBelt_P7_to_transportationBelt_T1" source="transportationBelt_P7" target="transportationBelt_T1" type="inhibitor">
534
<position x="808" y="358"/>
537
<arc id="transportationBelt_P6_to_transportationBelt_T1" source="transportationBelt_P6" target="transportationBelt_T1" type="inhibitor"/>
540
<text>ComposedModel</text>