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="210" y="90"/>
11
<offset x="-5" y="35"/>
21
<position x="210" y="270"/>
25
<offset x="-5" y="35"/>
35
<position x="390" y="330"/>
39
<offset x="-5" y="35"/>
49
<position x="540" y="150"/>
53
<offset x="-5" y="35"/>
63
<position x="435" y="45"/>
67
<offset x="-5" y="35"/>
77
<position x="600" y="45"/>
81
<offset x="-5" y="35"/>
92
<offset x="-5" y="35"/>
97
<position x="180" y="180"/>
100
<transition id="T10">
103
<offset x="-5" y="35"/>
108
<position x="240" y="180"/>
111
<transition id="T11">
114
<offset x="-5" y="35"/>
119
<position x="330" y="270"/>
122
<transition id="T12">
125
<offset x="-5" y="35"/>
130
<position x="270" y="330"/>
133
<transition id="T15">
136
<offset x="-5" y="35"/>
141
<position x="420" y="210"/>
144
<transition id="T16">
147
<offset x="-5" y="35"/>
152
<position x="480" y="270"/>
155
<transition id="T17">
158
<offset x="56" y="128"/>
163
<position x="525" y="60"/>
166
<arc id="floor1_to_T10" source="floor1" target="T10" type="normal"/>
167
<arc id="floor2_to_T9" source="floor2" target="T9" type="normal"/>
168
<arc id="floor2_to_T11" source="floor2" target="T11" type="normal"/>
169
<arc id="floor3_to_T12" source="floor3" target="T12" type="normal"/>
170
<arc id="floor3_to_T16" source="floor3" target="T16" type="normal"/>
171
<arc id="floor4_to_T15" source="floor4" target="T15" type="normal"/>
172
<arc id="P0_to_T17" source="P0" target="T17" type="normal"/>
173
<arc id="T10_to_floor2" source="T10" target="floor2" type="normal"/>
174
<arc id="T9_to_floor1" source="T9" target="floor1" type="normal">
176
<position x="210" y="141"/>
179
<arc id="T12_to_floor2" source="T12" target="floor2" type="normal"/>
180
<arc id="T11_to_floor3" source="T11" target="floor3" type="normal"/>
181
<arc id="T15_to_floor3" source="T15" target="floor3" type="normal"/>
182
<arc id="T16_to_floor4" source="T16" target="floor4" type="normal"/>
183
<arc id="T17_to_P1" source="T17" target="P1" type="normal"/>
186
<text>ComposedModel</text>