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="270" y="30"/>
11
<offset x="75" y="-8"/>
21
<position x="270" y="165"/>
25
<offset x="-5" y="35"/>
35
<position x="270" y="330"/>
39
<offset x="-5" y="35"/>
49
<position x="510" y="345"/>
53
<offset x="-5" y="35"/>
64
<offset x="-5" y="35"/>
69
<position x="150" y="90"/>
75
<offset x="-5" y="35"/>
80
<position x="285" y="90"/>
86
<offset x="-5" y="35"/>
91
<position x="390" y="90"/>
97
<offset x="-5" y="35"/>
102
<position x="150" y="255"/>
105
<transition id="T19">
108
<offset x="-5" y="35"/>
113
<position x="270" y="255"/>
116
<transition id="T20">
119
<offset x="-5" y="35"/>
124
<position x="375" y="255"/>
127
<transition id="T21">
130
<offset x="-5" y="35"/>
135
<position x="270" y="405"/>
138
<arc id="Empty3_to_T21" source="Empty3" target="T21" type="normal"/>
139
<arc id="P37_to_T21" source="P37" target="T21" type="normal"/>
140
<arc id="T20_to_P37" source="T20" target="P37" type="normal"/>
141
<arc id="T19_to_P37" source="T19" target="P37" type="normal"/>
142
<arc id="T18_to_P37" source="T18" target="P37" type="normal"/>
143
<arc id="Empty1_to_T15" source="Empty1" target="T15" type="normal"/>
144
<arc id="T15_to_Empty2" source="T15" target="Empty2" type="normal">
146
<position x="164" y="104"/>
149
<arc id="Empty2_to_T18" source="Empty2" target="T18" type="normal"/>
150
<arc id="T18_to_Empty3" source="T18" target="Empty3" type="normal">
152
<position x="164" y="269"/>
155
<arc id="Empty1_to_T16" source="Empty1" target="T16" type="normal"/>
156
<arc id="T16_to_Empty2" source="T16" target="Empty2" type="normal"/>
157
<arc id="Empty1_to_T17" source="Empty1" target="T17" type="normal"/>
158
<arc id="T17_to_Empty2" source="T17" target="Empty2" type="normal"/>
159
<arc id="Empty2_to_T19" source="Empty2" target="T19" type="normal"/>
160
<arc id="T19_to_Empty3" source="T19" target="Empty3" type="normal"/>
161
<arc id="Empty2_to_T20" source="Empty2" target="T20" type="normal"/>
162
<arc id="T20_to_Empty3" source="T20" target="Empty3" type="normal"/>
165
<text>ComposedModel</text>