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="330" y="255"/>
11
<offset x="-5" y="35"/>
21
<position x="570" y="255"/>
25
<offset x="-5" y="35"/>
35
<position x="570" y="405"/>
39
<offset x="-5" y="35"/>
49
<position x="810" y="210"/>
53
<offset x="-5" y="35"/>
63
<position x="330" y="420"/>
67
<offset x="-5" y="35"/>
77
<position x="210" y="255"/>
81
<offset x="-5" y="35"/>
91
<position x="210" y="405"/>
95
<offset x="-5" y="35"/>
105
<position x="465" y="90"/>
109
<offset x="-5" y="35"/>
119
<position x="330" y="90"/>
123
<offset x="-5" y="35"/>
133
<position x="210" y="135"/>
137
<offset x="-5" y="35"/>
147
<position x="150" y="15"/>
151
<offset x="-5" y="35"/>
161
<position x="45" y="195"/>
165
<offset x="-5" y="35"/>
176
<offset x="-5" y="35"/>
181
<position x="465" y="225"/>
187
<offset x="-5" y="35"/>
192
<position x="810" y="405"/>
198
<offset x="-5" y="35"/>
203
<position x="660" y="255"/>
209
<offset x="-5" y="35"/>
214
<position x="330" y="330"/>
220
<offset x="-5" y="35"/>
225
<position x="210" y="330"/>
231
<offset x="-5" y="35"/>
236
<position x="330" y="165"/>
242
<offset x="-5" y="35"/>
247
<position x="390" y="90"/>
253
<offset x="-5" y="35"/>
258
<position x="210" y="195"/>
264
<offset x="-5" y="35"/>
269
<position x="570" y="315"/>
272
<transition id="T10">
275
<offset x="-5" y="35"/>
280
<position x="285" y="150"/>
283
<transition id="T11">
286
<offset x="-5" y="35"/>
291
<position x="75" y="135"/>
294
<transition id="T12">
297
<offset x="-5" y="35"/>
302
<position x="0" y="75"/>
305
<arc id="number_to_T0" source="number" target="T0" type="normal"/>
306
<arc id="diviser_to_T0" source="diviser" target="T0" type="normal"/>
307
<arc id="P2_to_T1" source="P2" target="T1" type="normal"/>
308
<arc id="P3_to_T2" source="P3" target="T2" type="normal"/>
309
<arc id="P4_to_T4" source="P4" target="T4" type="normal"/>
310
<arc id="P8_to_T6" source="P8" target="T6" type="normal"/>
311
<arc id="P7_to_T7" source="P7" target="T7" type="normal"/>
312
<arc id="P9_to_T8" source="P9" target="T8" type="normal"/>
313
<arc id="P2_to_T9" source="P2" target="T9" type="normal"/>
314
<arc id="init_to_T10" source="init" target="T10" type="normal"/>
315
<arc id="P12_to_T11" source="P12" target="T11" type="normal"/>
316
<arc id="P9_to_T11" source="P9" target="T11" type="normal"/>
317
<arc id="P12_to_T12" source="P12" target="T12" type="normal"/>
318
<arc id="T0_to_P2" source="T0" target="P2" type="normal"/>
319
<arc id="T1_to_P3" source="T1" target="P3" type="normal"/>
320
<arc id="T2_to_diviser" source="T2" target="diviser" type="normal"/>
321
<arc id="T3_to_notprime" source="T3" target="notprime" type="normal"/>
322
<arc id="T4_to_P5" source="T4" target="P5" type="normal"/>
323
<arc id="T6_to_number" source="T6" target="number" type="normal"/>
324
<arc id="T7_to_P8" source="T7" target="P8" type="normal"/>
325
<arc id="T0_to_P7" source="T0" target="P7" type="normal"/>
326
<arc id="T8_to_P4" source="T8" target="P4" type="normal"/>
327
<arc id="T9_to_diviser" source="T9" target="diviser" type="normal"/>
328
<arc id="T8_to_diviser" source="T8" target="diviser" type="normal">
330
<position x="272" y="287"/>
331
<position x="377" y="302"/>
334
<arc id="T10_to_number" source="T10" target="number" type="normal"/>
335
<arc id="T10_to_P9" source="T10" target="P9" type="normal"/>
336
<arc id="diviser_to_T1" source="diviser" target="T1" type="inhibitor"/>
337
<arc id="P2_to_T2" source="P2" target="T2" type="inhibitor"/>
338
<arc id="number_to_T3" source="number" target="T3" type="inhibitor"/>
339
<arc id="diviser_to_T3" source="diviser" target="T3" type="inhibitor"/>
340
<arc id="P3_to_T0" source="P3" target="T0" type="inhibitor"/>
341
<arc id="P2_to_T3" source="P2" target="T3" type="inhibitor"/>
342
<arc id="P2_to_T6" source="P2" target="T6" type="inhibitor"/>
343
<arc id="P8_to_T0" source="P8" target="T0" type="inhibitor"/>
344
<arc id="number_to_T7" source="number" target="T7" type="inhibitor"/>
345
<arc id="P4_to_T8" source="P4" target="T8" type="inhibitor"/>
346
<arc id="number_to_T8" source="number" target="T8" type="inhibitor"/>
347
<arc id="number_to_T9" source="number" target="T9" type="inhibitor"/>
348
<arc id="P7_to_T6" source="P7" target="T6" type="inhibitor"/>
349
<arc id="init_to_T0" source="init" target="T0" type="inhibitor"/>
350
<arc id="P12_to_T8" source="P12" target="T8" type="inhibitor"/>
351
<arc id="P12_to_T0" source="P12" target="T0" type="inhibitor"/>
352
<arc id="init_to_T12" source="init" target="T12" type="inhibitor"/>
353
<arc id="P9_to_T12" source="P9" target="T12" type="inhibitor"/>
356
<text>ComposedModel</text>