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="180" y="150"/>
11
<offset x="-5" y="35"/>
21
<position x="390" y="150"/>
25
<offset x="-5" y="35"/>
35
<position x="615" y="150"/>
39
<offset x="-5" y="35"/>
49
<position x="795" y="150"/>
53
<offset x="-5" y="35"/>
63
<position x="270" y="300"/>
67
<offset x="-5" y="35"/>
78
<offset x="-5" y="35"/>
83
<position x="270" y="150"/>
89
<offset x="-5" y="35"/>
94
<position x="495" y="150"/>
100
<offset x="-5" y="35"/>
105
<position x="705" y="150"/>
111
<offset x="-5" y="35"/>
116
<position x="270" y="420"/>
119
<arc id="P4_to_T1" source="P4" target="T1" type="normal">
121
<position x="508" y="313"/>
124
<arc id="P4_to_T3" source="P4" target="T3" type="normal"/>
125
<arc id="T0_to_P4" source="T0" target="P4" type="normal"/>
126
<arc id="T3_to_P0" source="T3" target="P0" type="normal">
128
<position x="193" y="433"/>
131
<arc id="T1_to_P4" source="T1" target="P4" type="normal">
133
<position x="343" y="223"/>
136
<arc id="P0_to_T0" source="P0" target="T0" type="normal"/>
137
<arc id="T0_to_P1" source="T0" target="P1" type="normal">
139
<position x="283" y="163"/>
142
<arc id="P1_to_T1" source="P1" target="T1" type="normal"/>
143
<arc id="T1_to_P2" source="T1" target="P2" type="normal">
145
<position x="508" y="163"/>
148
<arc id="P2_to_T2" source="P2" target="T2" type="normal"/>
149
<arc id="T2_to_Final" source="T2" target="Final" type="normal">
151
<position x="718" y="163"/>
154
<arc id="P4_to_T2" source="P4" target="T2" type="inhibitor">
156
<position x="688" y="358"/>
159
<arc id="P0_to_T1" source="P0" target="T1" type="inhibitor">
161
<position x="193" y="73"/>
162
<position x="508" y="73"/>
167
<text>ComposedModel</text>