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="135" y="120"/>
11
<offset x="-5" y="35"/>
21
<position x="330" y="120"/>
25
<offset x="-5" y="35"/>
35
<position x="540" y="120"/>
39
<offset x="-5" y="35"/>
49
<position x="765" y="120"/>
53
<offset x="-5" y="35"/>
63
<position x="135" y="435"/>
67
<offset x="-5" y="35"/>
77
<position x="330" y="435"/>
81
<offset x="-5" y="35"/>
91
<position x="555" y="420"/>
95
<offset x="-6" y="34"/>
105
<position x="765" y="435"/>
109
<offset x="-7" y="34"/>
117
<transition id="T15">
120
<offset x="-5" y="35"/>
125
<position x="225" y="285"/>
128
<transition id="T16">
131
<offset x="-5" y="35"/>
136
<position x="420" y="285"/>
139
<transition id="T17">
142
<offset x="-5" y="35"/>
147
<position x="660" y="285"/>
150
<arc id="P33_to_T15" source="P33" target="T15" type="normal"/>
151
<arc id="P34_to_T15" source="P34" target="T15" type="normal"/>
152
<arc id="P34_to_T16" source="P34" target="T16" type="normal"/>
153
<arc id="P34_to_T17" source="P34" target="T17" type="normal"/>
154
<arc id="P35_to_T17" source="P35" target="T17" type="normal"/>
155
<arc id="P36_to_T17" source="P36" target="T17" type="normal"/>
156
<arc id="T15_to_P1" source="T15" target="P1" type="normal"/>
157
<arc id="T16_to_P1" source="T16" target="P1" type="normal"/>
158
<arc id="T16_to_P2" source="T16" target="P2" type="normal"/>
159
<arc id="T16_to_P3" source="T16" target="P3" type="normal"/>
160
<arc id="T17_to_P3" source="T17" target="P3" type="normal"/>
161
<arc id="T17_to_P4" source="T17" target="P4" type="normal"/>
164
<text>ComposedModel</text>