TranslatingSCCDtoDEVS/tests/1.13) NonDeterminismHierarchyTest/sccd.xml

<?xml version="1.1" ?>
<diagram author="Sam Pieters" name="NonDeterminismTest">
    <description>
        Test if nondeterminism works as expected. 
        There are two states defined in a composite that fire the same moment but these get resolved as the composite state also has an upper transition.
    </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" />
                <transition target="../D" />
            </state>
            <state id="D" />
        </scxml>
    </class>
</diagram>