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="Workplace1">
7
<position x="210" y="150"/>
11
<offset x="-5" y="35"/>
13
<text>Workplace1</text>
19
<place id="Workplace2">
21
<position x="390" y="150"/>
25
<offset x="-5" y="35"/>
27
<text>Workplace2</text>
33
<place id="Workplace3">
35
<position x="540" y="150"/>
39
<offset x="-5" y="35"/>
41
<text>Workplace3</text>
49
<position x="30" y="270"/>
53
<offset x="-5" y="35"/>
63
<position x="705" y="270"/>
67
<offset x="-5" y="35"/>
75
<place id="Finishedtask1">
77
<position x="195" y="390"/>
81
<offset x="-5" y="35"/>
83
<text>Finishedtask1</text>
89
<place id="Finishedtask2">
91
<position x="375" y="390"/>
95
<offset x="-5" y="35"/>
97
<text>Finishedtask2</text>
103
<transition id="Move2to1">
106
<offset x="-5" y="35"/>
108
<text>Move2to1</text>
111
<position x="285" y="60"/>
114
<transition id="Move1to2">
117
<offset x="-5" y="35"/>
119
<text>Move1to2</text>
122
<position x="300" y="210"/>
125
<transition id="Move3to2">
128
<offset x="-5" y="35"/>
130
<text>Move3to2</text>
133
<position x="465" y="60"/>
136
<transition id="Move2to3">
139
<offset x="-5" y="35"/>
141
<text>Move2to3</text>
144
<position x="480" y="210"/>
147
<transition id="Task1">
150
<offset x="-5" y="35"/>
155
<position x="195" y="270"/>
158
<transition id="Task2">
161
<offset x="-5" y="35"/>
166
<position x="375" y="270"/>
169
<transition id="Task3">
172
<offset x="-5" y="35"/>
177
<position x="555" y="270"/>
180
<arc id="Workplace1_to_Task1" source="Workplace1" target="Task1" type="normal">
182
<position x="178" y="223"/>
185
<arc id="Workplace2_to_Task2" source="Workplace2" target="Task2" type="normal">
187
<position x="373" y="223"/>
190
<arc id="Workplace3_to_Task3" source="Workplace3" target="Task3" type="normal">
192
<position x="538" y="223"/>
195
<arc id="Workplace1_to_Move1to2" source="Workplace1" target="Move1to2" type="normal"/>
196
<arc id="Workplace2_to_Move2to3" source="Workplace2" target="Move2to3" type="normal"/>
197
<arc id="Workplace3_to_Move3to2" source="Workplace3" target="Move3to2" type="normal"/>
198
<arc id="Workplace2_to_Move2to1" source="Workplace2" target="Move2to1" type="normal"/>
199
<arc id="Task1_to_Workplace1" source="Task1" target="Workplace1" type="normal">
201
<position x="253" y="238"/>
204
<arc id="Task2_to_Workplace2" source="Task2" target="Workplace2" type="normal">
206
<position x="418" y="223"/>
209
<arc id="Task3_to_Workplace3" source="Task3" target="Workplace3" type="normal">
211
<position x="598" y="208"/>
214
<arc id="Move1to2_to_Workplace2" source="Move1to2" target="Workplace2" type="normal">
216
<position x="313" y="223"/>
219
<arc id="Move2to3_to_Workplace3" source="Move2to3" target="Workplace3" type="normal"/>
220
<arc id="Move3to2_to_Workplace2" source="Move3to2" target="Workplace2" type="normal"/>
221
<arc id="Move2to1_to_Workplace1" source="Move2to1" target="Workplace1" type="normal"/>
222
<arc id="Start_to_Task1" source="Start" target="Task1" type="normal"/>
223
<arc id="Task1_to_Finishedtask1" source="Task1" target="Finishedtask1" type="normal">
225
<position x="208" y="298"/>
228
<arc id="Finishedtask1_to_Task2" source="Finishedtask1" target="Task2" type="normal"/>
229
<arc id="Task2_to_Finishedtask2" source="Task2" target="Finishedtask2" type="normal">
231
<position x="388" y="283"/>
234
<arc id="Finishedtask2_to_Task3" source="Finishedtask2" target="Task3" type="normal"/>
235
<arc id="Task3_to_End" source="Task3" target="End" type="normal">
237
<position x="568" y="283"/>
242
<text>ComposedModel</text>