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="135" y="270"/>
11
<offset x="26" y="-23"/>
21
<position x="705" y="270"/>
25
<offset x="59" y="7"/>
35
<position x="315" y="195"/>
39
<offset x="26" y="-16"/>
49
<position x="330" y="345"/>
53
<offset x="14" y="44"/>
63
<position x="540" y="195"/>
67
<offset x="29" y="-9"/>
75
<transition id="init">
78
<offset x="17" y="-5"/>
83
<position x="225" y="270"/>
86
<transition id="service">
89
<offset x="36" y="-11"/>
94
<position x="420" y="195"/>
97
<transition id="late">
100
<offset x="25" y="38"/>
105
<position x="540" y="270"/>
108
<transition id="early">
111
<offset x="33" y="47"/>
116
<position x="630" y="345"/>
119
<arc id="in_to_init" source="in" target="init" type="normal"/>
120
<arc id="waiting_to_service" source="waiting" target="service" type="normal"/>
121
<arc id="finished_to_late" source="finished" target="late" type="normal"/>
122
<arc id="deadline_to_late" source="deadline" target="late" type="normal"/>
123
<arc id="deadline_to_early" source="deadline" target="early" type="normal"/>
124
<arc id="finished_to_early" source="finished" target="early" type="normal">
126
<position x="643" y="208"/>
129
<arc id="init_to_waiting" source="init" target="waiting" type="normal"/>
130
<arc id="init_to_deadline" source="init" target="deadline" type="normal"/>
131
<arc id="service_to_finished" source="service" target="finished" type="normal"/>
132
<arc id="late_to_out" source="late" target="out" type="normal"/>
133
<arc id="early_to_out" source="early" target="out" type="normal">
135
<position x="718" y="358"/>
140
<text>ComposedModel</text>