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="330" y="90"/>
11
<offset x="-5" y="35"/>
21
<position x="165" y="285"/>
25
<offset x="-5" y="35"/>
35
<position x="330" y="285"/>
39
<offset x="-5" y="35"/>
49
<position x="435" y="315"/>
53
<offset x="-5" y="35"/>
63
<position x="240" y="510"/>
67
<offset x="-5" y="35"/>
77
<position x="525" y="630"/>
81
<offset x="-5" y="35"/>
91
<position x="405" y="510"/>
95
<offset x="-5" y="35"/>
105
<position x="810" y="330"/>
109
<offset x="-5" y="35"/>
119
<position x="600" y="315"/>
123
<offset x="-5" y="35"/>
131
<place id="Deadline">
133
<position x="630" y="90"/>
137
<offset x="-5" y="35"/>
139
<text>Deadline</text>
145
<transition id="T0_Done">
148
<offset x="-5" y="35"/>
153
<position x="330" y="180"/>
156
<transition id="T1_T2_Done">
159
<offset x="-5" y="35"/>
161
<text>T1_T2_Done</text>
164
<position x="240" y="390"/>
167
<transition id="T3_T4_Done">
170
<offset x="-5" y="35"/>
172
<text>T3_T4_Done</text>
175
<position x="375" y="600"/>
178
<transition id="T3_Done">
181
<offset x="-5" y="35"/>
186
<position x="480" y="420"/>
189
<transition id="T10">
192
<offset x="-5" y="35"/>
197
<position x="720" y="225"/>
200
<arc id="P0_to_T0_Done" source="P0" target="T0_Done" type="normal"/>
201
<arc id="P2_to_T1_T2_Done" source="P2" target="T1_T2_Done" type="normal"/>
202
<arc id="P4_to_T3_T4_Done" source="P4" target="T3_T4_Done" type="normal"/>
203
<arc id="P1_to_T1_T2_Done" source="P1" target="T1_T2_Done" type="normal"/>
204
<arc id="P3_to_T3_Done" source="P3" target="T3_Done" type="normal"/>
205
<arc id="P8_to_T3_T4_Done" source="P8" target="T3_T4_Done" type="normal"/>
206
<arc id="P9_to_T10" source="P9" target="T10" type="normal"/>
207
<arc id="P10_to_T10" source="P10" target="T10" type="normal"/>
208
<arc id="T0_Done_to_P2" source="T0_Done" target="P2" type="normal"/>
209
<arc id="T0_Done_to_P1" source="T0_Done" target="P1" type="normal"/>
210
<arc id="T0_Done_to_P3" source="T0_Done" target="P3" type="normal"/>
211
<arc id="T1_T2_Done_to_P4" source="T1_T2_Done" target="P4" type="normal"/>
212
<arc id="T3_T4_Done_to_P5" source="T3_T4_Done" target="P5" type="normal"/>
213
<arc id="T3_Done_to_P8" source="T3_Done" target="P8" type="normal"/>
214
<arc id="T3_Done_to_P10" source="T3_Done" target="P10" type="normal"/>
215
<arc id="T10_to_Deadline" source="T10" target="Deadline" type="normal"/>
218
<text>ComposedModel</text>