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="420"/>
11
<offset x="-5" y="35"/>
21
<position x="435" y="300"/>
25
<offset x="-5" y="35"/>
35
<position x="435" y="195"/>
39
<offset x="-5" y="35"/>
49
<position x="435" y="90"/>
53
<offset x="-5" y="35"/>
63
<position x="330" y="435"/>
67
<offset x="-5" y="35"/>
77
<position x="570" y="75"/>
81
<offset x="-5" y="35"/>
92
<offset x="-5" y="35"/>
97
<position x="480" y="360"/>
103
<offset x="-5" y="35"/>
108
<position x="375" y="360"/>
114
<offset x="-5" y="35"/>
119
<position x="480" y="240"/>
125
<offset x="-5" y="35"/>
130
<position x="360" y="240"/>
133
<transition id="T10">
136
<offset x="-5" y="35"/>
141
<position x="480" y="135"/>
144
<transition id="T11">
147
<offset x="-5" y="35"/>
152
<position x="360" y="135"/>
155
<arc id="T7_to_goal" source="T7" target="goal" type="normal"/>
156
<arc id="T10_to_here" source="T10" target="here" type="normal"/>
157
<arc id="P4_to_T6" source="P4" target="T6" type="normal"/>
158
<arc id="T6_to_P5" source="T6" target="P5" type="normal"/>
159
<arc id="P5_to_T8" source="P5" target="T8" type="normal"/>
160
<arc id="T8_to_P6" source="T8" target="P6" type="normal"/>
161
<arc id="P6_to_T10" source="P6" target="T10" type="normal"/>
162
<arc id="T10_to_P7" source="T10" target="P7" type="normal"/>
163
<arc id="P7_to_T11" source="P7" target="T11" type="normal"/>
164
<arc id="T11_to_P6" source="T11" target="P6" type="normal"/>
165
<arc id="P6_to_T9" source="P6" target="T9" type="normal"/>
166
<arc id="T9_to_P5" source="T9" target="P5" type="normal"/>
167
<arc id="P5_to_T7" source="P5" target="T7" type="normal"/>
168
<arc id="T7_to_P4" source="T7" target="P4" type="normal"/>
171
<text>ComposedModel</text>