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="45" y="240"/>
11
<offset x="-5" y="35"/>
21
<position x="180" y="240"/>
25
<offset x="-5" y="35"/>
35
<position x="300" y="240"/>
39
<offset x="-5" y="35"/>
49
<position x="300" y="315"/>
53
<offset x="-5" y="35"/>
63
<position x="435" y="150"/>
67
<offset x="-5" y="35"/>
77
<position x="330" y="150"/>
81
<offset x="-5" y="35"/>
92
<offset x="-5" y="35"/>
97
<position x="105" y="240"/>
103
<offset x="-5" y="35"/>
108
<position x="240" y="240"/>
114
<offset x="-5" y="35"/>
119
<position x="390" y="285"/>
125
<offset x="-5" y="35"/>
130
<position x="375" y="210"/>
133
<arc id="SUM_to_T4" source="SUM" target="T4" type="normal"/>
134
<arc id="S3_to_T4" source="S3" target="T4" type="normal"/>
135
<arc id="_false_to_T5" source="_false" target="T5" type="normal"/>
136
<arc id="S1_to_T0" source="S1" target="T0" type="normal"/>
137
<arc id="S2_to_T2" source="S2" target="T2" type="normal"/>
138
<arc id="T5_to__true" source="T5" target="_true" type="normal"/>
139
<arc id="T0_to_S2" source="T0" target="S2" type="normal"/>
140
<arc id="T2_to_S3" source="T2" target="S3" type="normal"/>
141
<arc id="S3_to_T5" source="S3" target="T5" type="inhibitor"/>
142
<arc id="SUM_to_T5" source="SUM" target="T5" type="inhibitor"/>
143
<arc id="S2_to_T5" source="S2" target="T5" type="inhibitor"/>
144
<arc id="S1_to_T5" source="S1" target="T5" type="inhibitor"/>
147
<text>ComposedModel</text>