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="285" y="180"/>
11
<offset x="-5" y="35"/>
21
<position x="405" y="180"/>
25
<offset x="-5" y="35"/>
35
<position x="165" y="180"/>
39
<offset x="-5" y="35"/>
49
<position x="615" y="180"/>
53
<offset x="60" y="18"/>
63
<position x="345" y="45"/>
67
<offset x="-5" y="35"/>
77
<position x="555" y="45"/>
81
<offset x="-5" y="35"/>
89
<transition id="work">
92
<offset x="-5" y="35"/>
97
<position x="240" y="45"/>
100
<transition id="done">
103
<offset x="-5" y="35"/>
108
<position x="240" y="315"/>
114
<offset x="-5" y="35"/>
119
<position x="435" y="45"/>
125
<offset x="-5" y="35"/>
130
<position x="585" y="120"/>
133
<arc id="in_to_work" source="in" target="work" type="normal"/>
134
<arc id="in_to_done" source="in" target="done" type="normal"/>
135
<arc id="Res1_to_work" source="Res1" target="work" type="normal"/>
136
<arc id="P10_to_T6" source="P10" target="T6" type="normal"/>
137
<arc id="Res2_to_T6" source="Res2" target="T6" type="normal"/>
138
<arc id="P12_to_T8" source="P12" target="T8" type="normal"/>
139
<arc id="Res1_to_T8" source="Res1" target="T8" type="normal">
141
<position x="494" y="119"/>
144
<arc id="work_to_P10" source="work" target="P10" type="normal"/>
145
<arc id="done_to_out" source="done" target="out" type="normal">
147
<position x="584" y="329"/>
150
<arc id="T6_to_Res1" source="T6" target="Res1" type="normal"/>
151
<arc id="T6_to_P12" source="T6" target="P12" type="normal"/>
152
<arc id="T8_to_out" source="T8" target="out" type="normal"/>
153
<arc id="T8_to_Res2" source="T8" target="Res2" type="normal"/>
154
<arc id="T8_to_Res1" source="T8" target="Res1" type="normal">
156
<position x="479" y="149"/>
161
<text>ComposedModel</text>