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="ReadyWorkforce">
7
<position x="150" y="90"/>
11
<offset x="-5" y="35"/>
13
<text>ReadyWorkforce</text>
19
<place id="PackingArea">
21
<position x="315" y="90"/>
25
<offset x="-5" y="35"/>
27
<text>PackingArea</text>
33
<place id="FoodPacked">
35
<position x="510" y="90"/>
39
<offset x="-5" y="35"/>
41
<text>FoodPacked</text>
49
<position x="375" y="225"/>
53
<offset x="-5" y="35"/>
63
<position x="195" y="345"/>
67
<offset x="-5" y="35"/>
77
<position x="90" y="450"/>
81
<offset x="-5" y="35"/>
91
<position x="315" y="450"/>
95
<offset x="-5" y="35"/>
103
<place id="EndFridge">
105
<position x="195" y="540"/>
109
<offset x="-5" y="35"/>
111
<text>EndFridge</text>
119
<position x="435" y="345"/>
123
<offset x="-5" y="35"/>
131
<place id="Deadline">
133
<position x="675" y="255"/>
137
<offset x="-5" y="35"/>
139
<text>Deadline</text>
145
<place id="StartFridge">
147
<position x="225" y="30"/>
151
<offset x="-5" y="35"/>
153
<text>StartFridge</text>
159
<transition id="GetBox">
162
<offset x="-5" y="35"/>
167
<position x="225" y="90"/>
170
<transition id="PackingFood">
173
<offset x="-5" y="35"/>
175
<text>PackingFood</text>
178
<position x="420" y="90"/>
181
<transition id="DeliverPackedFood">
184
<offset x="-5" y="35"/>
186
<text>DeliverPackedFood</text>
189
<position x="435" y="165"/>
192
<transition id="GiveRecievePackedFood">
195
<offset x="-5" y="35"/>
197
<text>GiveRecievePackedFood</text>
200
<position x="300" y="225"/>
203
<transition id="GoToCar">
206
<offset x="-5" y="35"/>
211
<position x="90" y="345"/>
214
<transition id="DeliverToCar">
217
<offset x="-5" y="35"/>
219
<text>DeliverToCar</text>
222
<position x="195" y="450"/>
228
<offset x="-5" y="35"/>
233
<position x="435" y="450"/>
236
<arc id="ReadyWorkforce_to_GetBox" source="ReadyWorkforce" target="GetBox" type="normal"/>
237
<arc id="PackingArea_to_PackingFood" source="PackingArea" target="PackingFood" type="normal"/>
238
<arc id="FoodPacked_to_DeliverPackedFood" source="FoodPacked" target="DeliverPackedFood" type="normal"/>
239
<arc id="P3_to_GiveRecievePackedFood" source="P3" target="GiveRecievePackedFood" type="normal"/>
240
<arc id="P4_to_GoToCar" source="P4" target="GoToCar" type="normal"/>
241
<arc id="P5_to_DeliverToCar" source="P5" target="DeliverToCar" type="normal"/>
242
<arc id="P6_to_T6" source="P6" target="T6" type="normal"/>
243
<arc id="P8_to_GiveRecievePackedFood" source="P8" target="GiveRecievePackedFood" type="normal"/>
244
<arc id="StartFridge_to_GetBox" source="StartFridge" target="GetBox" type="normal"/>
245
<arc id="PackingFood_to_FoodPacked" source="PackingFood" target="FoodPacked" type="normal"/>
246
<arc id="DeliverPackedFood_to_P3" source="DeliverPackedFood" target="P3" type="normal"/>
247
<arc id="GiveRecievePackedFood_to_ReadyWorkforce" source="GiveRecievePackedFood" target="ReadyWorkforce" type="normal"/>
248
<arc id="GiveRecievePackedFood_to_P4" source="GiveRecievePackedFood" target="P4" type="normal"/>
249
<arc id="GoToCar_to_P5" source="GoToCar" target="P5" type="normal"/>
250
<arc id="DeliverToCar_to_P6" source="DeliverToCar" target="P6" type="normal"/>
251
<arc id="T6_to_P8" source="T6" target="P8" type="normal"/>
252
<arc id="DeliverToCar_to_EndFridge" source="DeliverToCar" target="EndFridge" type="normal"/>
253
<arc id="GetBox_to_PackingArea" source="GetBox" target="PackingArea" type="normal"/>
254
<arc id="PackingArea_to_GetBox" source="PackingArea" target="GetBox" type="inhibitor">
256
<position x="329" y="149"/>
257
<position x="254" y="149"/>
262
<text>ComposedModel</text>