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="435" y="60"/>
11
<offset x="-5" y="35"/>
21
<position x="285" y="300"/>
25
<offset x="-5" y="35"/>
35
<position x="585" y="300"/>
39
<offset x="-5" y="35"/>
49
<position x="165" y="525"/>
53
<offset x="-5" y="35"/>
63
<position x="420" y="525"/>
67
<offset x="-5" y="35"/>
77
<position x="735" y="525"/>
81
<offset x="-5" y="35"/>
91
<position x="300" y="750"/>
95
<offset x="-5" y="35"/>
105
<position x="570" y="735"/>
109
<offset x="-5" y="35"/>
119
<position x="150" y="60"/>
123
<offset x="-5" y="35"/>
134
<offset x="-5" y="35"/>
139
<position x="315" y="165"/>
145
<offset x="-5" y="35"/>
150
<position x="540" y="180"/>
156
<offset x="-5" y="35"/>
161
<position x="210" y="420"/>
167
<offset x="-5" y="35"/>
172
<position x="360" y="405"/>
178
<offset x="-5" y="35"/>
183
<position x="540" y="420"/>
189
<offset x="-5" y="35"/>
194
<position x="645" y="420"/>
200
<offset x="-5" y="35"/>
205
<position x="240" y="645"/>
208
<transition id="T10">
211
<offset x="-5" y="35"/>
216
<position x="360" y="630"/>
219
<transition id="T11">
222
<offset x="-5" y="35"/>
227
<position x="540" y="630"/>
230
<transition id="T12">
233
<offset x="-5" y="35"/>
238
<position x="630" y="645"/>
241
<arc id="P4_to_T3" source="P4" target="T3" type="normal"/>
242
<arc id="P6_to_T8" source="P6" target="T8" type="normal"/>
243
<arc id="P5_to_T6" source="P5" target="T6" type="normal"/>
244
<arc id="P5_to_T5" source="P5" target="T5" type="normal"/>
245
<arc id="P7_to_T9" source="P7" target="T9" type="normal"/>
246
<arc id="P8_to_T11" source="P8" target="T11" type="normal"/>
247
<arc id="P9_to_T12" source="P9" target="T12" type="normal"/>
248
<arc id="T3_to_P5" source="T3" target="P5" type="normal"/>
249
<arc id="T8_to_P9" source="T8" target="P9" type="normal"/>
250
<arc id="T5_to_P7" source="T5" target="P7" type="normal"/>
251
<arc id="T6_to_P8" source="T6" target="P8" type="normal"/>
252
<arc id="T9_to_P10" source="T9" target="P10" type="normal"/>
253
<arc id="T11_to_P11" source="T11" target="P11" type="normal"/>
254
<arc id="T12_to_P11" source="T12" target="P11" type="normal"/>
255
<arc id="P4_to_T4" source="P4" target="T4" type="normal"/>
256
<arc id="T4_to_P6" source="T4" target="P6" type="normal"/>
257
<arc id="P6_to_T7" source="P6" target="T7" type="normal"/>
258
<arc id="T7_to_P8" source="T7" target="P8" type="normal"/>
259
<arc id="P8_to_T10" source="P8" target="T10" type="normal"/>
260
<arc id="T10_to_P10" source="T10" target="P10" type="normal"/>
263
<text>ComposedModel</text>