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">
5
<place id="Shared_P0s">
7
<position x="165" y="135"/>
11
<offset x="-5" y="35"/>
13
<text>Shared_P0s</text>
19
<place id="Shared_P1s">
21
<position x="495" y="150"/>
25
<offset x="-5" y="35"/>
27
<text>Shared_P1s</text>
33
<place id="Shared_P2s">
35
<position x="660" y="75"/>
39
<offset x="-5" y="35"/>
41
<text>Shared_P2s</text>
47
<place id="Shared_P3s">
49
<position x="660" y="210"/>
53
<offset x="-5" y="35"/>
55
<text>Shared_P3s</text>
61
<place id="Shared_P4s">
63
<position x="270" y="375"/>
67
<offset x="-5" y="35"/>
69
<text>Shared_P4s</text>
75
<place id="TAPN2_Error">
77
<position x="885" y="195"/>
81
<offset x="-5" y="35"/>
83
<text>TAPN2_Error</text>
89
<transition id="TAPN1_T2">
92
<offset x="-5" y="35"/>
97
<position x="495" y="375"/>
100
<transition id="TAPN1_T3">
103
<offset x="-5" y="35"/>
105
<text>TAPN1_T3</text>
108
<position x="105" y="285"/>
111
<transition id="TAPN1_T5">
114
<offset x="-5" y="35"/>
116
<text>TAPN1_T5</text>
119
<position x="570" y="120"/>
122
<transition id="TAPN1_T6">
125
<offset x="-5" y="35"/>
127
<text>TAPN1_T6</text>
130
<position x="570" y="210"/>
133
<transition id="TAPN1_T7">
136
<offset x="-5" y="35"/>
138
<text>TAPN1_T7</text>
141
<position x="330" y="135"/>
144
<transition id="TAPN2_T0">
147
<offset x="-5" y="35"/>
149
<text>TAPN2_T0</text>
152
<position x="975" y="195"/>
155
<transition id="TAPN2_T1">
158
<offset x="-5" y="35"/>
160
<text>TAPN2_T1</text>
163
<position x="1005" y="105"/>
166
<transition id="TAPN2_T2">
169
<offset x="-5" y="35"/>
171
<text>TAPN2_T2</text>
174
<position x="990" y="255"/>
177
<transition id="TAPN2_T3">
180
<offset x="-5" y="35"/>
182
<text>TAPN2_T3</text>
185
<position x="975" y="315"/>
188
<arc id="Shared_P2s_to_TAPN1_T2" source="Shared_P2s" target="TAPN1_T2" type="normal">
190
<position x="778" y="298"/>
193
<arc id="Shared_P3s_to_TAPN1_T2" source="Shared_P3s" target="TAPN1_T2" type="normal"/>
194
<arc id="Shared_P0s_to_TAPN1_T7" source="Shared_P0s" target="TAPN1_T7" type="normal"/>
195
<arc id="Shared_P3s_to_TAPN2_T3" source="Shared_P3s" target="TAPN2_T3" type="normal"/>
196
<arc id="Shared_P2s_to_TAPN2_T2" source="Shared_P2s" target="TAPN2_T2" type="normal"/>
197
<arc id="Shared_P1s_to_TAPN2_T0" source="Shared_P1s" target="TAPN2_T0" type="normal"/>
198
<arc id="Shared_P0s_to_TAPN2_T1" source="Shared_P0s" target="TAPN2_T1" type="normal"/>
199
<arc id="TAPN1_T2_to_Shared_P4s" source="TAPN1_T2" target="Shared_P4s" type="normal">
204
<arc id="TAPN1_T7_to_Shared_P1s" source="TAPN1_T7" target="Shared_P1s" type="normal"/>
205
<arc id="TAPN2_T3_to_TAPN2_Error" source="TAPN2_T3" target="TAPN2_Error" type="normal"/>
206
<arc id="TAPN2_T2_to_TAPN2_Error" source="TAPN2_T2" target="TAPN2_Error" type="normal"/>
207
<arc id="TAPN2_T0_to_TAPN2_Error" source="TAPN2_T0" target="TAPN2_Error" type="normal"/>
208
<arc id="TAPN2_T1_to_TAPN2_Error" source="TAPN2_T1" target="TAPN2_Error" type="normal"/>
209
<arc id="Shared_P4s_to_TAPN1_T3" source="Shared_P4s" target="TAPN1_T3" type="normal">
214
<arc id="TAPN1_T3_to_Shared_P0s" source="TAPN1_T3" target="Shared_P0s" type="normal">
219
<arc id="Shared_P1s_to_TAPN1_T5" source="Shared_P1s" target="TAPN1_T5" type="normal"/>
220
<arc id="TAPN1_T5_to_Shared_P2s" source="TAPN1_T5" target="Shared_P2s" type="normal"/>
221
<arc id="Shared_P1s_to_TAPN1_T6" source="Shared_P1s" target="TAPN1_T6" type="normal"/>
222
<arc id="TAPN1_T6_to_Shared_P3s" source="TAPN1_T6" target="Shared_P3s" type="normal"/>
225
<text>ComposedModel</text>