Revision control
++ <?xml version="1.0" encoding="UTF-8"?><!-- we test that 'optimally enabled set' really is a set, specifically that if a transition is optimally enabled in
++ two different states, it is taken only once. --><scxml xmlns="http://www.w3.org/2005/07/scxml" xmlns:conf="http://www.w3.org/2005/scxml-conformance" initial="s0" version="1.0" datamodel="ecmascript">
++ <datamodel>
++ <data id="Var1" expr="0"/>
++ </datamodel>
++
++ <state id="s0" initial="p0">
++ <!-- this transition should never be taken because a transition in a lower state should
++ always be selected -->
++ <transition event="event1">
++ <assign location="Var1" expr="Var1 + 1"/>
++ </transition>
++
++
++
++ <parallel id="p0">
++
++ <onentry>
++ <raise event="event1"/>
++ <raise event="event2"/>
++ </onentry>
++
++ <!-- this transition will be selected by both states p0s1 and p0s2, but should be executed only once -->
++ <transition event="event1">
++ <assign location="Var1" expr="Var1 + 1"/>
++ </transition>
++
++ <state id="p0s1">
++ <transition event="event2" cond="Var1==1" target="pass"/>
++ <transition event="event2" target="fail"/>
++ </state>
++
++ <state id="p0s2"/>
++
++ </parallel>
++ </state>
++
++ <final id="pass"><onentry><log label="Outcome" expr="'pass'"/></onentry></final>
++ <final id="fail"><onentry><log label="Outcome" expr="'fail'"/></onentry></final>
++ </scxml>