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_out">
7
<position x="270" y="90"/>
11
<offset x="-5" y="35"/>
13
<text>Shared_out</text>
19
<place id="Shared_in">
21
<position x="90" y="270"/>
25
<offset x="-9" y="3"/>
27
<text>Shared_in</text>
33
<place id="Registration_P1">
35
<position x="180" y="150"/>
39
<offset x="-5" y="35"/>
41
<text>Registration_P1</text>
47
<place id="Registration_P2">
49
<position x="180" y="390"/>
53
<offset x="-5" y="35"/>
55
<text>Registration_P2</text>
61
<place id="Registration_P3">
63
<position x="420" y="150"/>
67
<offset x="-5" y="35"/>
69
<text>Registration_P3</text>
75
<place id="Registration_P4">
77
<position x="420" y="390"/>
81
<offset x="-5" y="35"/>
83
<text>Registration_P4</text>
89
<place id="Handling_P0">
91
<position x="840" y="270"/>
95
<offset x="10" y="50"/>
97
<text>Handling_P0</text>
103
<place id="Handling_P1">
105
<position x="1020" y="270"/>
109
<offset x="43" y="46"/>
111
<text>Handling_P1</text>
117
<place id="Handling_P2">
119
<position x="990" y="120"/>
123
<offset x="-5" y="35"/>
125
<text>Handling_P2</text>
131
<place id="Handling_P3">
133
<position x="990" y="420"/>
137
<offset x="9" y="54"/>
139
<text>Handling_P3</text>
145
<place id="Handling_P4">
147
<position x="1140" y="270"/>
151
<offset x="-5" y="35"/>
153
<text>Handling_P4</text>
159
<place id="Monitor_Timer">
161
<position x="120" y="510"/>
165
<offset x="-5" y="35"/>
167
<text>Monitor_Timer</text>
173
<place id="Monitor_finished_in_time">
175
<position x="195" y="735"/>
179
<offset x="-5" y="35"/>
181
<text>Monitor_finished_in_time</text>
187
<transition id="Shared_collect">
190
<offset x="56" y="-11"/>
192
<text>Shared_collect</text>
195
<position x="420" y="270"/>
198
<transition id="Registration_register">
201
<offset x="71" y="2"/>
203
<text>Registration_register</text>
206
<position x="180" y="270"/>
209
<transition id="Registration_contact_customer">
212
<offset x="54" y="45"/>
214
<text>Registration_contact_customer</text>
217
<position x="300" y="150"/>
220
<transition id="Registration_contact_department">
223
<offset x="61" y="52"/>
225
<text>Registration_contact_department</text>
228
<position x="300" y="390"/>
231
<transition id="Handling_accept">
234
<offset x="5" y="-4"/>
236
<text>Handling_accept</text>
239
<position x="840" y="120"/>
242
<transition id="Handling_reject">
245
<offset x="3" y="43"/>
247
<text>Handling_reject</text>
250
<position x="840" y="420"/>
253
<transition id="Handling_send_rejection">
256
<offset x="98" y="45"/>
258
<text>Handling_send_rejection</text>
261
<position x="1140" y="420"/>
264
<transition id="Handling_pay_refund">
267
<offset x="83" y="-19"/>
269
<text>Handling_pay_refund</text>
272
<position x="1140" y="120"/>
275
<transition id="Handling_acquire_info">
278
<offset x="65" y="-18"/>
280
<text>Handling_acquire_info</text>
283
<position x="930" y="240"/>
286
<transition id="Handling_need_more_info">
289
<offset x="69" y="52"/>
291
<text>Handling_need_more_info</text>
294
<position x="930" y="300"/>
297
<transition id="Handling_archive">
300
<offset x="36" y="-22"/>
302
<text>Handling_archive</text>
305
<position x="1230" y="270"/>
308
<transition id="Handling_T9">
311
<offset x="-5" y="35"/>
313
<text>Handling_T9</text>
316
<position x="1035" y="195"/>
319
<transition id="Monitor_T0">
322
<offset x="-5" y="35"/>
324
<text>Monitor_T0</text>
327
<position x="195" y="615"/>
330
<arc id="Shared_in_to_Registration_register" source="Shared_in" target="Registration_register" type="normal"/>
331
<arc id="Registration_P1_to_Registration_contact_customer" source="Registration_P1" target="Registration_contact_customer" type="normal"/>
332
<arc id="Registration_P3_to_Shared_collect" source="Registration_P3" target="Shared_collect" type="normal"/>
333
<arc id="Registration_P4_to_Shared_collect" source="Registration_P4" target="Shared_collect" type="normal"/>
334
<arc id="Registration_P2_to_Registration_contact_department" source="Registration_P2" target="Registration_contact_department" type="normal"/>
335
<arc id="Handling_P0_to_Handling_need_more_info" source="Handling_P0" target="Handling_need_more_info" type="normal"/>
336
<arc id="Handling_P1_to_Handling_acquire_info" source="Handling_P1" target="Handling_acquire_info" type="normal"/>
337
<arc id="Handling_P0_to_Handling_accept" source="Handling_P0" target="Handling_accept" type="normal"/>
338
<arc id="Handling_P2_to_Handling_pay_refund" source="Handling_P2" target="Handling_pay_refund" type="normal"/>
339
<arc id="Handling_P0_to_Handling_reject" source="Handling_P0" target="Handling_reject" type="normal"/>
340
<arc id="Handling_P3_to_Handling_send_rejection" source="Handling_P3" target="Handling_send_rejection" type="normal"/>
341
<arc id="Handling_P4_to_Handling_archive" source="Handling_P4" target="Handling_archive" type="normal"/>
342
<arc id="Handling_P1_to_Handling_T9" source="Handling_P1" target="Handling_T9" type="normal"/>
343
<arc id="Handling_P2_to_Handling_T9" source="Handling_P2" target="Handling_T9" type="normal">
345
<position x="1003" y="193"/>
348
<arc id="Monitor_Timer_to_Monitor_T0" source="Monitor_Timer" target="Monitor_T0" type="normal"/>
349
<arc id="Shared_out_to_Monitor_T0" source="Shared_out" target="Monitor_T0" type="normal"/>
350
<arc id="Registration_register_to_Registration_P1" source="Registration_register" target="Registration_P1" type="normal"/>
351
<arc id="Registration_register_to_Registration_P2" source="Registration_register" target="Registration_P2" type="normal"/>
352
<arc id="Registration_contact_customer_to_Registration_P3" source="Registration_contact_customer" target="Registration_P3" type="normal"/>
353
<arc id="Registration_contact_department_to_Registration_P4" source="Registration_contact_department" target="Registration_P4" type="normal"/>
354
<arc id="Shared_collect_to_Handling_P0" source="Shared_collect" target="Handling_P0" type="normal"/>
355
<arc id="Handling_need_more_info_to_Handling_P1" source="Handling_need_more_info" target="Handling_P1" type="normal"/>
356
<arc id="Handling_acquire_info_to_Handling_P0" source="Handling_acquire_info" target="Handling_P0" type="normal"/>
357
<arc id="Handling_accept_to_Handling_P2" source="Handling_accept" target="Handling_P2" type="normal"/>
358
<arc id="Handling_pay_refund_to_Handling_P4" source="Handling_pay_refund" target="Handling_P4" type="normal"/>
359
<arc id="Handling_reject_to_Handling_P3" source="Handling_reject" target="Handling_P3" type="normal"/>
360
<arc id="Handling_send_rejection_to_Handling_P4" source="Handling_send_rejection" target="Handling_P4" type="normal"/>
361
<arc id="Handling_archive_to_Shared_out" source="Handling_archive" target="Shared_out" type="normal"/>
362
<arc id="Handling_T9_to_Handling_P2" source="Handling_T9" target="Handling_P2" type="normal">
364
<position x="1048" y="148"/>
367
<arc id="Handling_acquire_info_to_Handling_P1" source="Handling_acquire_info" target="Handling_P1" type="normal">
369
<position x="988" y="238"/>
372
<arc id="Monitor_T0_to_Monitor_finished_in_time" source="Monitor_T0" target="Monitor_finished_in_time" type="normal"/>
375
<text>ComposedModel</text>