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="315" y="180"/>
11
<offset x="-5" y="35"/>
21
<position x="315" y="375"/>
25
<offset x="-5" y="35"/>
35
<position x="330" y="570"/>
39
<offset x="-5" y="35"/>
49
<position x="540" y="660"/>
53
<offset x="-5" y="35"/>
64
<offset x="-5" y="35"/>
69
<position x="315" y="270"/>
75
<offset x="-5" y="35"/>
80
<position x="330" y="465"/>
86
<offset x="-5" y="35"/>
91
<position x="420" y="660"/>
94
<arc id="P0_to_T0" source="P0" target="T0" type="normal"/>
95
<arc id="P1_to_T1" source="P1" target="T1" type="normal"/>
96
<arc id="P3_to_T3" source="P3" target="T3" type="normal">
98
<position x="478" y="628"/>
101
<arc id="T0_to_P1" source="T0" target="P1" type="normal"/>
102
<arc id="T0_to_P2" source="T0" target="P2" type="normal">
107
<position x="478" y="448"/>
110
<arc id="T1_to_P2" source="T1" target="P2" type="normal">
115
<arc id="T3_to_P3" source="T3" target="P3" type="normal">
117
<position x="523" y="718"/>
120
<arc id="P2_to_T3" source="P2" target="T3" type="inhibitor">
127
<text>ComposedModel</text>