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="Shared_Ham">
7
<position x="330" y="90"/>
11
<offset x="-5" y="35"/>
13
<text>Shared_Ham</text>
19
<place id="Shared_Cheese">
21
<position x="450" y="180"/>
25
<offset x="-5" y="35"/>
27
<text>Shared_Cheese</text>
33
<place id="Shared_Bread">
35
<position x="120" y="90"/>
39
<offset x="-5" y="35"/>
41
<text>Shared_Bread</text>
47
<place id="Shared_MissedDeadline">
49
<position x="225" y="555"/>
53
<offset x="-5" y="35"/>
55
<text>Shared_MissedDeadline</text>
61
<place id="BreadImporter_P1">
63
<position x="180" y="180"/>
67
<offset x="-5" y="35"/>
69
<text>BreadImporter_P1</text>
75
<place id="CheeseImporter_P1">
77
<position x="690" y="180"/>
81
<offset x="-5" y="35"/>
83
<text>CheeseImporter_P1</text>
89
<place id="HamImporter_P1">
91
<position x="180" y="735"/>
95
<offset x="-5" y="35"/>
97
<text>HamImporter_P1</text>
103
<place id="HamBurger_P2">
105
<position x="735" y="870"/>
109
<offset x="-5" y="35"/>
111
<text>HamBurger_P2</text>
117
<place id="CheeseBurger_P2">
119
<position x="225" y="1425"/>
123
<offset x="-5" y="35"/>
125
<text>CheeseBurger_P2</text>
131
<place id="DoubleBurger_P2">
133
<position x="735" y="1425"/>
137
<offset x="-5" y="35"/>
139
<text>DoubleBurger_P2</text>
145
<transition id="BreadImporter_T0">
148
<offset x="-5" y="35"/>
150
<text>BreadImporter_T0</text>
153
<position x="315" y="180"/>
156
<transition id="BreadImporter_miss">
159
<offset x="-5" y="35"/>
161
<text>BreadImporter_miss</text>
164
<position x="180" y="300"/>
167
<transition id="CheeseImporter_T0">
170
<offset x="-5" y="35"/>
172
<text>CheeseImporter_T0</text>
175
<position x="825" y="180"/>
178
<transition id="CheeseImporter_miss">
181
<offset x="-5" y="35"/>
183
<text>CheeseImporter_miss</text>
186
<position x="690" y="300"/>
189
<transition id="HamImporter_T0">
192
<offset x="-5" y="35"/>
194
<text>HamImporter_T0</text>
197
<position x="315" y="735"/>
200
<transition id="HamImporter_miss">
203
<offset x="-5" y="35"/>
205
<text>HamImporter_miss</text>
208
<position x="180" y="855"/>
211
<transition id="HamBurger_MakeHamBurger">
214
<offset x="-5" y="35"/>
216
<text>HamBurger_MakeHamBurger</text>
219
<position x="735" y="750"/>
222
<transition id="HamBurger_miss">
225
<offset x="-5" y="35"/>
227
<text>HamBurger_miss</text>
230
<position x="735" y="990"/>
233
<transition id="CheeseBurger_MakeCheeseBurger">
236
<offset x="-5" y="35"/>
238
<text>CheeseBurger_MakeCheeseBurger</text>
241
<position x="225" y="1305"/>
244
<transition id="CheeseBurger_miss">
247
<offset x="-5" y="35"/>
249
<text>CheeseBurger_miss</text>
252
<position x="225" y="1545"/>
255
<transition id="DoubleBurger_MakeDoubleBurger">
258
<offset x="-5" y="35"/>
260
<text>DoubleBurger_MakeDoubleBurger</text>
263
<position x="735" y="1305"/>
266
<transition id="DoubleBurger_miss">
269
<offset x="-5" y="35"/>
271
<text>DoubleBurger_miss</text>
274
<position x="735" y="1545"/>
277
<arc id="BreadImporter_P1_to_BreadImporter_T0" source="BreadImporter_P1" target="BreadImporter_T0" type="normal">
279
<position x="258" y="153"/>
282
<arc id="BreadImporter_P1_to_BreadImporter_miss" source="BreadImporter_P1" target="BreadImporter_miss" type="normal"/>
283
<arc id="CheeseImporter_P1_to_CheeseImporter_T0" source="CheeseImporter_P1" target="CheeseImporter_T0" type="normal">
285
<position x="768" y="153"/>
288
<arc id="CheeseImporter_P1_to_CheeseImporter_miss" source="CheeseImporter_P1" target="CheeseImporter_miss" type="normal"/>
289
<arc id="HamImporter_P1_to_HamImporter_T0" source="HamImporter_P1" target="HamImporter_T0" type="normal">
291
<position x="258" y="708"/>
294
<arc id="HamImporter_P1_to_HamImporter_miss" source="HamImporter_P1" target="HamImporter_miss" type="normal"/>
295
<arc id="Shared_Bread_to_HamBurger_MakeHamBurger" source="Shared_Bread" target="HamBurger_MakeHamBurger" type="normal"/>
296
<arc id="Shared_Ham_to_HamBurger_MakeHamBurger" source="Shared_Ham" target="HamBurger_MakeHamBurger" type="normal"/>
297
<arc id="HamBurger_P2_to_HamBurger_MakeHamBurger" source="HamBurger_P2" target="HamBurger_MakeHamBurger" type="normal">
299
<position x="708" y="828"/>
302
<arc id="HamBurger_P2_to_HamBurger_miss" source="HamBurger_P2" target="HamBurger_miss" type="normal"/>
303
<arc id="Shared_Bread_to_CheeseBurger_MakeCheeseBurger" source="Shared_Bread" target="CheeseBurger_MakeCheeseBurger" type="normal"/>
304
<arc id="Shared_Ham_to_CheeseBurger_MakeCheeseBurger" source="Shared_Ham" target="CheeseBurger_MakeCheeseBurger" type="normal"/>
305
<arc id="CheeseBurger_P2_to_CheeseBurger_MakeCheeseBurger" source="CheeseBurger_P2" target="CheeseBurger_MakeCheeseBurger" type="normal">
307
<position x="198" y="1383"/>
310
<arc id="CheeseBurger_P2_to_CheeseBurger_miss" source="CheeseBurger_P2" target="CheeseBurger_miss" type="normal"/>
311
<arc id="Shared_Cheese_to_CheeseBurger_MakeCheeseBurger" source="Shared_Cheese" target="CheeseBurger_MakeCheeseBurger" type="normal">
313
<position x="453" y="1308"/>
316
<arc id="Shared_Bread_to_DoubleBurger_MakeDoubleBurger" source="Shared_Bread" target="DoubleBurger_MakeDoubleBurger" type="normal"/>
317
<arc id="Shared_Ham_to_DoubleBurger_MakeDoubleBurger" source="Shared_Ham" target="DoubleBurger_MakeDoubleBurger" type="normal">
322
<arc id="DoubleBurger_P2_to_DoubleBurger_MakeDoubleBurger" source="DoubleBurger_P2" target="DoubleBurger_MakeDoubleBurger" type="normal">
324
<position x="708" y="1383"/>
327
<arc id="DoubleBurger_P2_to_DoubleBurger_miss" source="DoubleBurger_P2" target="DoubleBurger_miss" type="normal"/>
328
<arc id="Shared_Cheese_to_DoubleBurger_MakeDoubleBurger" source="Shared_Cheese" target="DoubleBurger_MakeDoubleBurger" type="normal">
333
<position x="963" y="1308"/>
336
<arc id="BreadImporter_T0_to_BreadImporter_P1" source="BreadImporter_T0" target="BreadImporter_P1" type="normal">
338
<position x="258" y="243"/>
341
<arc id="BreadImporter_T0_to_Shared_Bread" source="BreadImporter_T0" target="Shared_Bread" type="normal">
346
<arc id="BreadImporter_miss_to_Shared_MissedDeadline" source="BreadImporter_miss" target="Shared_MissedDeadline" type="normal"/>
347
<arc id="CheeseImporter_T0_to_CheeseImporter_P1" source="CheeseImporter_T0" target="CheeseImporter_P1" type="normal">
349
<position x="768" y="243"/>
352
<arc id="CheeseImporter_T0_to_Shared_Cheese" source="CheeseImporter_T0" target="Shared_Cheese" type="normal">
357
<arc id="CheeseImporter_miss_to_Shared_MissedDeadline" source="CheeseImporter_miss" target="Shared_MissedDeadline" type="normal"/>
358
<arc id="HamImporter_T0_to_HamImporter_P1" source="HamImporter_T0" target="HamImporter_P1" type="normal">
360
<position x="258" y="798"/>
363
<arc id="HamImporter_T0_to_Shared_Ham" source="HamImporter_T0" target="Shared_Ham" type="normal">
368
<arc id="HamImporter_miss_to_Shared_MissedDeadline" source="HamImporter_miss" target="Shared_MissedDeadline" type="normal"/>
369
<arc id="HamBurger_MakeHamBurger_to_HamBurger_P2" source="HamBurger_MakeHamBurger" target="HamBurger_P2" type="normal">
371
<position x="798" y="813"/>
374
<arc id="HamBurger_miss_to_Shared_MissedDeadline" source="HamBurger_miss" target="Shared_MissedDeadline" type="normal"/>
375
<arc id="CheeseBurger_MakeCheeseBurger_to_CheeseBurger_P2" source="CheeseBurger_MakeCheeseBurger" target="CheeseBurger_P2" type="normal">
377
<position x="288" y="1368"/>
380
<arc id="CheeseBurger_miss_to_Shared_MissedDeadline" source="CheeseBurger_miss" target="Shared_MissedDeadline" type="normal"/>
381
<arc id="DoubleBurger_MakeDoubleBurger_to_DoubleBurger_P2" source="DoubleBurger_MakeDoubleBurger" target="DoubleBurger_P2" type="normal">
383
<position x="798" y="1368"/>
386
<arc id="DoubleBurger_miss_to_Shared_MissedDeadline" source="DoubleBurger_miss" target="Shared_MissedDeadline" type="normal"/>
387
<arc id="Shared_Bread_to_BreadImporter_T0" source="Shared_Bread" target="BreadImporter_T0" type="inhibitor">
392
<position x="393" y="123"/>
395
<arc id="Shared_Cheese_to_CheeseImporter_T0" source="Shared_Cheese" target="CheeseImporter_T0" type="inhibitor">
400
<position x="903" y="123"/>
403
<arc id="Shared_Ham_to_HamImporter_T0" source="Shared_Ham" target="HamImporter_T0" type="inhibitor">
408
<position x="408" y="678"/>
413
<text>ComposedModel</text>