TranslatingSCCDtoDEVS/tests/1.12) NonDeterminismTest/sccd.xml

<?xml version="1.1" ?>
<diagram author="Sam Pieters" name="NonDeterminismTest">
    <description>
        Test if nondeterminism works as expected. If two transitions fire, the first transition that is defined in the SCCDXML needs to fire.
    </description>
    <class name="MainApp" default="true">
        <scxml initial="Y">
            <state id="Y" initial="A"> 
                <state id="A">
                    <transition target="../B" />
                    <transition target="../C" />
                </state>
                <state id="B" />
                <state id="C" />
            </state>
        </scxml>
    </class>
</diagram>