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="270" y="270"/>
11
<offset x="-5" y="35"/>
21
<position x="75" y="480"/>
25
<offset x="-5" y="35"/>
35
<position x="75" y="45"/>
39
<offset x="-5" y="35"/>
49
<position x="270" y="45"/>
53
<offset x="-5" y="35"/>
63
<position x="480" y="480"/>
67
<offset x="-5" y="35"/>
77
<position x="570" y="0"/>
81
<offset x="-5" y="35"/>
91
<position x="585" y="165"/>
95
<offset x="-5" y="35"/>
105
<position x="735" y="165"/>
109
<offset x="-5" y="35"/>
119
<position x="675" y="390"/>
123
<offset x="-5" y="35"/>
131
<place id="notPrime">
133
<position x="750" y="585"/>
137
<offset x="-5" y="35"/>
139
<text>notPrime</text>
147
<position x="270" y="585"/>
151
<offset x="-5" y="35"/>
161
<position x="420" y="585"/>
165
<offset x="-5" y="35"/>
173
<place id="begrenser">
175
<position x="450" y="150"/>
179
<offset x="-5" y="35"/>
181
<text>begrenser</text>
189
<position x="600" y="585"/>
193
<offset x="-5" y="35"/>
203
<position x="675" y="660"/>
207
<offset x="-5" y="35"/>
218
<offset x="-5" y="35"/>
223
<position x="75" y="270"/>
229
<offset x="-5" y="35"/>
234
<position x="195" y="45"/>
240
<offset x="-5" y="35"/>
245
<position x="270" y="165"/>
248
<transition id="T19">
251
<offset x="-5" y="35"/>
256
<position x="270" y="480"/>
259
<transition id="T20">
262
<offset x="-5" y="35"/>
267
<position x="660" y="120"/>
270
<transition id="T21">
273
<offset x="-5" y="35"/>
278
<position x="480" y="255"/>
281
<transition id="T22">
284
<offset x="-5" y="35"/>
289
<position x="645" y="270"/>
292
<transition id="T23">
295
<offset x="-5" y="35"/>
300
<position x="750" y="480"/>
303
<transition id="T24">
306
<offset x="-5" y="35"/>
311
<position x="345" y="585"/>
314
<transition id="T26">
317
<offset x="-5" y="35"/>
322
<position x="675" y="585"/>
325
<arc id="P4_to_T2" source="P4" target="T2" type="normal"/>
326
<arc id="P6_to_T5" source="P6" target="T5" type="normal"/>
327
<arc id="P11_to_T6" source="P11" target="T6" type="normal"/>
328
<arc id="P5_to_T19" source="P5" target="T19" type="normal"/>
329
<arc id="number_to_T20" source="number" target="T20" type="normal"/>
330
<arc id="P29_to_T21" source="P29" target="T21" type="normal">
335
<arc id="P30_to_T22" source="P30" target="T22" type="normal"/>
336
<arc id="P27_to_T22" source="P27" target="T22" type="normal"/>
337
<arc id="P32_to_T23" source="P32" target="T23" type="normal"/>
338
<arc id="venter_to_T24" source="venter" target="T24" type="normal"/>
339
<arc id="begrenser_to_T6" source="begrenser" target="T6" type="normal"/>
340
<arc id="P37_to_T26" source="P37" target="T26" type="normal"/>
341
<arc id="notPrime_to_T26" source="notPrime" target="T26" type="normal"/>
342
<arc id="T2_to_P5" source="T2" target="P5" type="normal"/>
343
<arc id="T2_to_P6" source="T2" target="P6" type="normal"/>
344
<arc id="T5_to_P11" source="T5" target="P11" type="normal"/>
345
<arc id="T6_to_P4" source="T6" target="P4" type="normal"/>
346
<arc id="T19_to_P27" source="T19" target="P27" type="normal"/>
347
<arc id="T20_to_P29" source="T20" target="P29" type="normal"/>
348
<arc id="T20_to_P30" source="T20" target="P30" type="normal"/>
349
<arc id="T21_to_P4" source="T21" target="P4" type="normal"/>
350
<arc id="T22_to_P32" source="T22" target="P32" type="normal"/>
351
<arc id="T23_to_notPrime" source="T23" target="notPrime" type="normal"/>
352
<arc id="T24_to_P35" source="T24" target="P35" type="normal"/>
353
<arc id="T20_to_begrenser" source="T20" target="begrenser" type="normal"/>
354
<arc id="T26_to_P38" source="T26" target="P38" type="normal"/>
355
<arc id="P4_to_T5" source="P4" target="T5" type="inhibitor"/>
356
<arc id="P6_to_T6" source="P6" target="T6" type="inhibitor"/>
357
<arc id="P11_to_T2" source="P11" target="T2" type="inhibitor"/>
358
<arc id="P4_to_T19" source="P4" target="T19" type="inhibitor"/>
359
<arc id="P6_to_T19" source="P6" target="T19" type="inhibitor"/>
360
<arc id="P5_to_T21" source="P5" target="T21" type="inhibitor"/>
361
<arc id="P27_to_T21" source="P27" target="T21" type="inhibitor"/>
362
<arc id="P30_to_T23" source="P30" target="T23" type="inhibitor"/>
363
<arc id="P27_to_T23" source="P27" target="T23" type="inhibitor"/>
364
<arc id="P5_to_T22" source="P5" target="T22" type="inhibitor"/>
365
<arc id="venter_to_T19" source="venter" target="T19" type="inhibitor"/>
366
<arc id="number_to_T22" source="number" target="T22" type="inhibitor"/>
367
<arc id="number_to_T21" source="number" target="T21" type="inhibitor"/>
368
<arc id="number_to_T2" source="number" target="T2" type="inhibitor"/>
369
<arc id="P6_to_T21" source="P6" target="T21" type="inhibitor"/>
370
<arc id="P11_to_T21" source="P11" target="T21" type="inhibitor"/>
371
<arc id="P32_to_T21" source="P32" target="T21" type="inhibitor"/>
374
<text>ComposedModel</text>