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="300" y="135"/>
11
<offset x="-5" y="35"/>
21
<position x="240" y="255"/>
25
<offset x="-5" y="35"/>
35
<position x="240" y="390"/>
39
<offset x="-5" y="35"/>
49
<position x="480" y="510"/>
53
<offset x="-5" y="35"/>
63
<position x="765" y="570"/>
67
<offset x="-5" y="35"/>
77
<position x="645" y="360"/>
81
<offset x="-5" y="35"/>
92
<offset x="-5" y="35"/>
97
<position x="360" y="195"/>
103
<offset x="-5" y="35"/>
108
<position x="360" y="315"/>
114
<offset x="-5" y="35"/>
119
<position x="360" y="435"/>
125
<offset x="-5" y="35"/>
130
<position x="630" y="480"/>
133
<arc id="P0_to_T0" source="P0" target="T0" type="normal"/>
134
<arc id="P1_to_T1" source="P1" target="T1" type="normal"/>
135
<arc id="P2_to_T2" source="P2" target="T2" type="normal"/>
136
<arc id="P4_to_T3" source="P4" target="T3" type="normal"/>
137
<arc id="P3_to_T3" source="P3" target="T3" type="normal">
139
<position x="494" y="524"/>
142
<arc id="T0_to_P1" source="T0" target="P1" type="normal"/>
143
<arc id="T1_to_P2" source="T1" target="P2" type="normal"/>
144
<arc id="T3_to_P5" source="T3" target="P5" type="normal"/>
145
<arc id="T2_to_P3" source="T2" target="P3" type="normal"/>
148
<text>ComposedModel</text>