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="Train_Crossing">
7
<position x="540" y="270"/>
11
<offset x="49" y="-17"/>
13
<text>Train_Crossing</text>
21
<position x="300" y="90"/>
25
<offset x="-5" y="35"/>
35
<position x="375" y="270"/>
39
<offset x="144" y="59"/>
47
<place id="TragicLight_Green">
49
<position x="735" y="330"/>
53
<offset x="-5" y="35"/>
55
<text>TragicLight_Green</text>
61
<place id="TragicLight_Yellow">
63
<position x="1050" y="240"/>
67
<offset x="-5" y="35"/>
69
<text>TragicLight_Yellow</text>
75
<place id="TragicLight_Red">
77
<position x="1380" y="330"/>
81
<offset x="-5" y="35"/>
83
<text>TragicLight_Red</text>
89
<place id="TragicLight_Request">
91
<position x="1005" y="120"/>
95
<offset x="-15" y="18"/>
97
<text>TragicLight_Request</text>
103
<transition id="Shared_StopCars">
106
<offset x="44" y="59"/>
108
<text>Shared_StopCars</text>
111
<position x="315" y="270"/>
114
<transition id="Train_T0">
117
<offset x="-5" y="35"/>
119
<text>Train_T0</text>
122
<position x="525" y="150"/>
125
<transition id="Train_DangerZoneEntrance">
128
<offset x="53" y="55"/>
130
<text>Train_DangerZoneEntrance</text>
133
<position x="495" y="270"/>
136
<transition id="TragicLight_T1">
139
<offset x="-5" y="35"/>
141
<text>TragicLight_T1</text>
144
<position x="870" y="285"/>
147
<transition id="TragicLight_T2">
150
<offset x="-5" y="35"/>
152
<text>TragicLight_T2</text>
155
<position x="1215" y="285"/>
158
<transition id="TragicLight_T7">
161
<offset x="-5" y="35"/>
163
<text>TragicLight_T7</text>
166
<position x="1140" y="135"/>
169
<transition id="TragicLight_T5">
172
<offset x="-5" y="35"/>
174
<text>TragicLight_T5</text>
177
<position x="1035" y="435"/>
180
<arc id="Train_P5_to_Shared_StopCars" source="Train_P5" target="Shared_StopCars" type="normal">
182
<position x="224" y="254"/>
185
<arc id="Train_Crossing_to_Train_T0" source="Train_Crossing" target="Train_T0" type="normal"/>
186
<arc id="Train_P2_to_Train_DangerZoneEntrance" source="Train_P2" target="Train_DangerZoneEntrance" type="normal"/>
187
<arc id="TragicLight_Green_to_TragicLight_T1" source="TragicLight_Green" target="TragicLight_T1" type="normal"/>
188
<arc id="TragicLight_Request_to_TragicLight_T1" source="TragicLight_Request" target="TragicLight_T1" type="normal"/>
189
<arc id="TragicLight_Yellow_to_TragicLight_T2" source="TragicLight_Yellow" target="TragicLight_T2" type="normal"/>
190
<arc id="TragicLight_Request_to_TragicLight_T7" source="TragicLight_Request" target="TragicLight_T7" type="normal"/>
191
<arc id="TragicLight_Red_to_TragicLight_T5" source="TragicLight_Red" target="TragicLight_T5" type="normal"/>
192
<arc id="Train_T0_to_Train_P5" source="Train_T0" target="Train_P5" type="normal"/>
193
<arc id="Train_DangerZoneEntrance_to_Train_Crossing" source="Train_DangerZoneEntrance" target="Train_Crossing" type="normal"/>
194
<arc id="Shared_StopCars_to_Train_P2" source="Shared_StopCars" target="Train_P2" type="normal"/>
195
<arc id="Shared_StopCars_to_TragicLight_Request" source="Shared_StopCars" target="TragicLight_Request" type="normal"/>
196
<arc id="TragicLight_T1_to_TragicLight_Yellow" source="TragicLight_T1" target="TragicLight_Yellow" type="normal"/>
197
<arc id="TragicLight_T2_to_TragicLight_Red" source="TragicLight_T2" target="TragicLight_Red" type="normal"/>
198
<arc id="TragicLight_T5_to_TragicLight_Green" source="TragicLight_T5" target="TragicLight_Green" type="normal"/>
199
<arc id="TragicLight_Yellow_to_TragicLight_T7" source="TragicLight_Yellow" target="TragicLight_T7" type="normal">
201
<position x="1096" y="181"/>
204
<arc id="TragicLight_T7_to_TragicLight_Yellow" source="TragicLight_T7" target="TragicLight_Yellow" type="normal">
206
<position x="1156" y="151"/>
207
<position x="1156" y="211"/>
212
<text>ComposedModel</text>