TranslatingSCCDtoDEVS/tests/1.1) AfterTransitionTest/sccd.xml

<?xml version="1.1" ?>
<diagram author="Sam Pieters" name="AfterTransitionTest">
    <description>
        Check if a statechart transitions after a certain time.
    </description>
    <class name="MainApp" default="true">
        <scxml initial="state1">
            <state id="state1"> 
                <transition after="1" target="../state3"/>
            </state>
            <state id="state2" />
            <state id="state3" />
        </scxml>
    </class>
</diagram>