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="585" y="435"/>
11
<offset x="-5" y="35"/>
21
<position x="480" y="210"/>
25
<offset x="78" y="13"/>
35
<position x="105" y="240"/>
39
<offset x="-7" y="36"/>
49
<position x="345" y="240"/>
53
<offset x="-5" y="36"/>
63
<position x="225" y="360"/>
67
<offset x="-6" y="35"/>
75
<place id="Dangerzone">
77
<position x="225" y="495"/>
81
<offset x="-5" y="35"/>
83
<text>Dangerzone</text>
89
<place id="BetweenSensorAndCrossing">
91
<position x="390" y="450"/>
95
<offset x="129" y="50"/>
97
<text>BetweenSensorAndCrossing</text>
106
<offset x="-5" y="35"/>
111
<position x="270" y="135"/>
117
<offset x="-5" y="35"/>
122
<position x="465" y="420"/>
128
<offset x="-5" y="35"/>
133
<position x="105" y="360"/>
139
<offset x="-5" y="35"/>
144
<position x="345" y="360"/>
150
<offset x="-5" y="35"/>
155
<position x="225" y="225"/>
161
<offset x="-5" y="35"/>
166
<position x="300" y="465"/>
172
<offset x="-5" y="35"/>
177
<position x="30" y="480"/>
180
<transition id="T10">
183
<offset x="-5" y="35"/>
188
<position x="300" y="15"/>
191
<arc id="Green_to_T4" source="Green" target="T4" type="normal">
193
<position x="360" y="240"/>
196
<arc id="Yellow_to_T3" source="Yellow" target="T3" type="normal"/>
197
<arc id="Red_to_T5" source="Red" target="T5" type="normal"/>
198
<arc id="Sensor_to_T0" source="Sensor" target="T0" type="normal"/>
199
<arc id="Train_to_T2" source="Train" target="T2" type="normal"/>
200
<arc id="BetweenSensorAndCrossing_to_T7" source="BetweenSensorAndCrossing" target="T7" type="normal"/>
201
<arc id="Dangerzone_to_T8" source="Dangerzone" target="T8" type="normal"/>
202
<arc id="Sensor_to_T4" source="Sensor" target="T4" type="normal"/>
203
<arc id="Sensor_to_T10" source="Sensor" target="T10" type="normal"/>
204
<arc id="Red_to_T0" source="Red" target="T0" type="normal"/>
205
<arc id="T4_to_Yellow" source="T4" target="Yellow" type="normal"/>
206
<arc id="T3_to_Red" source="T3" target="Red" type="normal"/>
207
<arc id="T5_to_Green" source="T5" target="Green" type="normal"/>
208
<arc id="T0_to_Red" source="T0" target="Red" type="normal"/>
209
<arc id="T2_to_Sensor" source="T2" target="Sensor" type="normal"/>
210
<arc id="T7_to_Dangerzone" source="T7" target="Dangerzone" type="normal"/>
211
<arc id="T2_to_BetweenSensorAndCrossing" source="T2" target="BetweenSensorAndCrossing" type="normal"/>
212
<arc id="Sensor_to_T5" source="Sensor" target="T5" type="inhibitor"/>
213
<arc id="Green_to_T10" source="Green" target="T10" type="inhibitor"/>
214
<arc id="Red_to_T10" source="Red" target="T10" type="inhibitor"/>
217
<text>ComposedModel</text>