traffic_light_nightly.out

<?xml version='1.0' encoding='utf-8'?>
<pnml><net id="traffic_light_nightly"><name><text>traffic_light_nightly</text></name><page id="1"><transition id="go"><name><text>go</text><graphics><offset x="0" y="0" /></graphics></name><graphics><position x="280" y="80" /></graphics></transition><transition id="stop"><name><text>stop</text><graphics><offset x="0" y="0" /></graphics></name><graphics><position x="200" y="80" /></graphics></transition><transition id="dawn"><name><text>dawn</text><graphics><offset x="0" y="0" /></graphics></name><graphics><position x="130" y="130" /></graphics></transition><transition id="caution"><name><text>caution</text><graphics><offset x="0" y="0" /></graphics></name><graphics><position x="120" y="80" /></graphics></transition><transition id="sunset"><name><text>sunset</text><graphics><offset x="0" y="0" /></graphics></name><graphics><position x="270" y="130" /></graphics></transition><place id="green"><name><text>green</text><graphics><offset x="68" y="93" /></graphics></name><graphics><position x="80" y="80" /></graphics><initialMarking><text>0</text></initialMarking></place><place id="red"><name><text>red</text><graphics><offset x="232" y="93" /></graphics></name><graphics><position x="240" y="80" /></graphics><initialMarking><text>0</text></initialMarking></place><place id="yellow"><name><text>yellow</text><graphics><offset x="146" y="93" /></graphics></name><graphics><position x="160" y="80" /></graphics><initialMarking><text>1</text></initialMarking></place><place id="night_service"><name><text>night_service</text><graphics><offset x="172" y="143" /></graphics></name><graphics><position x="200" y="130" /></graphics><initialMarking><text>0</text></initialMarking></place><arc id="id1" source="green" target="caution" type="normal"><inscription><text>1</text></inscription></arc><arc id="id2" source="caution" target="yellow" type="normal"><inscription><text>1</text></inscription></arc><arc id="id3" source="yellow" target="stop" type="normal"><inscription><text>1</text></inscription></arc><arc id="id4" source="stop" target="red" type="normal"><inscription><text>1</text></inscription></arc><arc id="id5" source="red" target="go" type="normal"><inscription><text>1</text></inscription></arc><arc id="id6" source="go" target="green" type="normal"><inscription><text>1</text></inscription></arc><arc id="id7" source="night_service" target="stop" type="inhibitor"><inscription><text>1</text></inscription></arc><arc id="id8" source="dawn" target="night_service" type="normal"><inscription><text>1</text></inscription></arc><arc id="id9" source="night_service" target="sunset" type="normal"><inscription><text>1</text></inscription></arc><arc id="id10" source="night_service" target="dawn" type="inhibitor"><inscription><text>1</text></inscription></arc></page></net></pnml>