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="195" y="195"/>
11
<offset x="-5" y="35"/>
21
<position x="195" y="525"/>
25
<offset x="-5" y="35"/>
35
<position x="480" y="195"/>
39
<offset x="-5" y="35"/>
49
<position x="195" y="765"/>
53
<offset x="-5" y="35"/>
63
<position x="480" y="765"/>
67
<offset x="-5" y="35"/>
77
<position x="1005" y="510"/>
81
<offset x="-5" y="36"/>
91
<position x="615" y="75"/>
95
<offset x="-5" y="35"/>
105
<position x="165" y="75"/>
109
<offset x="-5" y="35"/>
119
<position x="480" y="510"/>
123
<offset x="-5" y="35"/>
133
<position x="720" y="195"/>
137
<offset x="-5" y="35"/>
147
<position x="735" y="510"/>
151
<offset x="-5" y="35"/>
161
<position x="750" y="765"/>
165
<offset x="-5" y="35"/>
176
<offset x="-5" y="35"/>
181
<position x="195" y="345"/>
187
<offset x="-5" y="35"/>
192
<position x="480" y="345"/>
195
<transition id="T10">
198
<offset x="-5" y="35"/>
203
<position x="195" y="705"/>
206
<transition id="T13">
209
<offset x="-5" y="35"/>
214
<position x="480" y="705"/>
217
<transition id="T18">
220
<offset x="-5" y="35"/>
225
<position x="105" y="345"/>
228
<transition id="CARRY1">
231
<offset x="-5" y="35"/>
236
<position x="390" y="345"/>
239
<transition id="CARRY2">
242
<offset x="-5" y="35"/>
247
<position x="660" y="345"/>
250
<transition id="T21">
253
<offset x="-5" y="35"/>
258
<position x="735" y="345"/>
261
<transition id="T23">
264
<offset x="-5" y="35"/>
269
<position x="750" y="705"/>
272
<arc id="A1_to_T2" source="A1" target="T2" type="normal"/>
273
<arc id="A2_to_T7" source="A2" target="T7" type="normal"/>
274
<arc id="B_to_T10" source="B" target="T10" type="normal"/>
275
<arc id="B_to_T13" source="B" target="T13" type="normal"/>
276
<arc id="B_to_T2" source="B" target="T2" type="normal"/>
277
<arc id="OP1_to_T10" source="OP1" target="T10" type="normal"/>
278
<arc id="BNOT_to_T18" source="BNOT" target="T18" type="normal"/>
279
<arc id="A1_to_T18" source="A1" target="T18" type="normal"/>
280
<arc id="OP2_to_T13" source="OP2" target="T13" type="normal"/>
281
<arc id="A2_to_CARRY1" source="A2" target="CARRY1" type="normal"/>
282
<arc id="B_to_T7" source="B" target="T7" type="normal"/>
283
<arc id="BNOT_to_CARRY1" source="BNOT" target="CARRY1" type="normal"/>
284
<arc id="OP1_to_CARRY1" source="OP1" target="CARRY1" type="normal"/>
285
<arc id="A3_to_CARRY2" source="A3" target="CARRY2" type="normal"/>
286
<arc id="A3_to_T21" source="A3" target="T21" type="normal"/>
287
<arc id="OP2_to_CARRY2" source="OP2" target="CARRY2" type="normal"/>
288
<arc id="OP3_to_T23" source="OP3" target="T23" type="normal"/>
289
<arc id="B_to_T21" source="B" target="T21" type="normal"/>
290
<arc id="BNOT_to_CARRY2" source="BNOT" target="CARRY2" type="normal"/>
291
<arc id="B_to_T23" source="B" target="T23" type="normal"/>
292
<arc id="T2_to_OP1" source="T2" target="OP1" type="normal"/>
293
<arc id="T10_to_SIGNAL1" source="T10" target="SIGNAL1" type="normal"/>
294
<arc id="T13_to_SIGNAL2" source="T13" target="SIGNAL2" type="normal"/>
295
<arc id="T2_to_NULL" source="T2" target="NULL" type="normal"/>
296
<arc id="T7_to_NULL" source="T7" target="NULL" type="normal"/>
297
<arc id="T18_to_OP1" source="T18" target="OP1" type="normal"/>
298
<arc id="T7_to_OP2" source="T7" target="OP2" type="normal"/>
299
<arc id="CARRY1_to_OP2" source="CARRY1" target="OP2" type="normal"/>
300
<arc id="CARRY2_to_OP3" source="CARRY2" target="OP3" type="normal"/>
301
<arc id="T21_to_OP3" source="T21" target="OP3" type="normal"/>
302
<arc id="T21_to_NULL" source="T21" target="NULL" type="normal"/>
303
<arc id="T23_to_SIGNAL3" source="T23" target="SIGNAL3" type="normal"/>
306
<text>ComposedModel</text>