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="285" y="120"/>
11
<offset x="-5" y="35"/>
21
<position x="285" y="360"/>
25
<offset x="-5" y="35"/>
35
<position x="90" y="120"/>
39
<offset x="-5" y="35"/>
49
<position x="510" y="120"/>
53
<offset x="-5" y="35"/>
63
<position x="375" y="270"/>
67
<offset x="-5" y="35"/>
78
<offset x="-5" y="35"/>
83
<position x="285" y="270"/>
89
<offset x="-5" y="35"/>
94
<position x="375" y="120"/>
100
<offset x="-5" y="35"/>
105
<position x="195" y="120"/>
111
<offset x="-5" y="35"/>
116
<position x="345" y="435"/>
122
<offset x="-5" y="35"/>
127
<position x="225" y="435"/>
130
<arc id="P0_to_T0" source="P0" target="T0" type="normal"/>
131
<arc id="P2_to_T4" source="P2" target="T4" type="normal"/>
132
<arc id="P3_to_T3" source="P3" target="T3" type="normal"/>
133
<arc id="P1_to_T6" source="P1" target="T6" type="normal"/>
134
<arc id="P1_to_T5" source="P1" target="T5" type="normal"/>
135
<arc id="P6_to_T6" source="P6" target="T6" type="normal">
137
<position x="437" y="287"/>
138
<position x="437" y="527"/>
139
<position x="242" y="527"/>
142
<arc id="P6_to_T4" source="P6" target="T4" type="normal">
144
<position x="346" y="241"/>
145
<position x="211" y="241"/>
148
<arc id="T0_to_P1" source="T0" target="P1" type="normal">
153
<arc id="T4_to_P0" source="T4" target="P0" type="normal"/>
154
<arc id="T3_to_P0" source="T3" target="P0" type="normal"/>
155
<arc id="T5_to_P6" source="T5" target="P6" type="normal">
157
<position x="392" y="452"/>
160
<arc id="T6_to_P2" source="T6" target="P2" type="normal">
162
<position x="107" y="452"/>
165
<arc id="T5_to_P3" source="T5" target="P3" type="normal">
167
<position x="362" y="482"/>
168
<position x="527" y="482"/>
171
<arc id="P6_to_T3" source="P6" target="T3" type="inhibitor">
178
<text>ComposedModel</text>