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="165" y="225"/>
11
<offset x="-5" y="35"/>
21
<position x="285" y="225"/>
25
<offset x="-5" y="35"/>
35
<position x="345" y="135"/>
39
<offset x="-5" y="35"/>
49
<position x="345" y="315"/>
53
<offset x="-5" y="35"/>
63
<position x="225" y="60"/>
67
<offset x="-5" y="35"/>
77
<position x="225" y="420"/>
81
<offset x="-5" y="35"/>
92
<offset x="-5" y="35"/>
97
<position x="225" y="135"/>
103
<offset x="-5" y="35"/>
108
<position x="225" y="315"/>
114
<offset x="-5" y="35"/>
119
<position x="345" y="225"/>
125
<offset x="-5" y="35"/>
130
<position x="390" y="225"/>
133
<arc id="P1_to_T1" source="P1" target="T1" type="normal">
138
<arc id="P0_to_T1" source="P0" target="T1" type="normal">
143
<arc id="inhib0_to_T2" source="inhib0" target="T2" type="normal"/>
144
<arc id="inhib1_to_T3" source="inhib1" target="T3" type="normal">
146
<position x="406" y="331"/>
149
<arc id="T0_to_P0" source="T0" target="P0" type="normal">
154
<arc id="T0_to_P1" source="T0" target="P1" type="normal">
159
<arc id="T1_to_inhib0" source="T1" target="inhib0" type="normal">
161
<position x="241" y="376"/>
162
<position x="451" y="376"/>
163
<position x="451" y="151"/>
166
<arc id="T2_to_inhib1" source="T2" target="inhib1" type="normal"/>
167
<arc id="T3_to_inhib0" source="T3" target="inhib0" type="normal">
169
<position x="406" y="181"/>
172
<arc id="T0_to_T0count" source="T0" target="T0count" type="normal"/>
173
<arc id="T1_to_T1count" source="T1" target="T1count" type="normal"/>
174
<arc id="inhib0_to_T0" source="inhib0" target="T0" type="inhibitor"/>
175
<arc id="inhib1_to_T1" source="inhib1" target="T1" type="inhibitor"/>
178
<text>ComposedModel</text>