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="180" y="750"/>
11
<offset x="-5" y="35"/>
21
<position x="570" y="750"/>
25
<offset x="130" y="47"/>
35
<position x="990" y="750"/>
39
<offset x="152" y="25"/>
47
<place id="RedRequested">
49
<position x="180" y="450"/>
53
<offset x="-6" y="5"/>
55
<text>RedRequested</text>
63
<position x="540" y="30"/>
67
<offset x="29" y="5"/>
75
<place id="approaching">
77
<position x="300" y="270"/>
81
<offset x="135" y="49"/>
83
<text>approaching</text>
89
<place id="dangerZone">
91
<position x="690" y="270"/>
95
<offset x="132" y="53"/>
97
<text>dangerZone</text>
106
<offset x="-5" y="35"/>
111
<position x="780" y="750"/>
117
<offset x="-5" y="35"/>
122
<position x="570" y="870"/>
128
<offset x="-5" y="35"/>
133
<position x="180" y="570"/>
139
<offset x="-5" y="35"/>
144
<position x="570" y="570"/>
150
<offset x="-5" y="35"/>
155
<position x="990" y="570"/>
158
<transition id="sendSignal">
161
<offset x="-5" y="35"/>
163
<text>sendSignal</text>
166
<position x="180" y="270"/>
172
<offset x="-5" y="35"/>
177
<position x="585" y="270"/>
183
<offset x="-5" y="35"/>
188
<position x="1005" y="270"/>
191
<arc id="yellow_to_T1" source="yellow" target="T1" type="normal"/>
192
<arc id="red_to_T2" source="red" target="T2" type="normal"/>
193
<arc id="green_to_T3" source="green" target="T3" type="normal"/>
194
<arc id="red_to_T5" source="red" target="T5" type="normal">
196
<position x="1048" y="658"/>
199
<arc id="RedRequested_to_T3" source="RedRequested" target="T3" type="normal"/>
200
<arc id="RedRequested_to_T4" source="RedRequested" target="T4" type="normal"/>
201
<arc id="RedRequested_to_T5" source="RedRequested" target="T5" type="normal"/>
202
<arc id="far_to_sendSignal" source="far" target="sendSignal" type="normal"/>
203
<arc id="approaching_to_T7" source="approaching" target="T7" type="normal"/>
204
<arc id="dangerZone_to_T8" source="dangerZone" target="T8" type="normal"/>
205
<arc id="T1_to_red" source="T1" target="red" type="normal"/>
206
<arc id="T2_to_green" source="T2" target="green" type="normal"/>
207
<arc id="T3_to_yellow" source="T3" target="yellow" type="normal"/>
208
<arc id="T5_to_red" source="T5" target="red" type="normal"/>
209
<arc id="sendSignal_to_approaching" source="sendSignal" target="approaching" type="normal"/>
210
<arc id="sendSignal_to_RedRequested" source="sendSignal" target="RedRequested" type="normal"/>
211
<arc id="T7_to_dangerZone" source="T7" target="dangerZone" type="normal"/>
212
<arc id="T8_to_far" source="T8" target="far" type="normal"/>
213
<arc id="yellow_to_T4" source="yellow" target="T4" type="normal">
215
<position x="643" y="679"/>
218
<arc id="T4_to_yellow" source="T4" target="yellow" type="normal"/>
221
<text>ComposedModel</text>