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="345" y="225"/>
11
<offset x="-5" y="35"/>
21
<position x="240" y="360"/>
25
<offset x="-5" y="35"/>
35
<position x="450" y="360"/>
39
<offset x="-5" y="35"/>
49
<position x="555" y="225"/>
53
<offset x="-5" y="35"/>
64
<offset x="-5" y="35"/>
69
<position x="345" y="360"/>
75
<offset x="-5" y="35"/>
80
<position x="450" y="225"/>
86
<offset x="-5" y="35"/>
91
<position x="465" y="135"/>
94
<arc id="P2_to_T1" source="P2" target="T1" type="normal"/>
95
<arc id="P0_to_T3" source="P0" target="T3" type="normal">
97
<position x="373" y="163"/>
100
<arc id="T1_to_P3" source="T1" target="P3" type="normal"/>
101
<arc id="T3_to_end" source="T3" target="end" type="normal">
103
<position x="568" y="163"/>
106
<arc id="P0_to_T2" source="P0" target="T2" type="normal">
108
<position x="419" y="284"/>
111
<arc id="T2_to_P0" source="T2" target="P0" type="normal">
113
<position x="464" y="239"/>
114
<position x="419" y="194"/>
117
<arc id="P0_to_T1" source="P0" target="T1" type="inhibitor"/>
118
<arc id="end_to_T3" source="end" target="T3" type="inhibitor">
120
<position x="493" y="223"/>
125
<text>ComposedModel</text>