1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556 |
- <test>
- <statechart>
- <inport name="in">
- <event name="start"/>
- </inport>
- <outport name="out">
- <event name="s1"/>
- <event name="s2"/>
- <event name="s3"/>
- <event name="s4"/>
- </outport>
- <root initial="outer">
- <state id="outer">
- <transition target="/p/region2/s4"/>
- </state>
- <parallel id="p">
- <state id="region1" initial="s1">
- <state id="s1">
- <onentry>
- <raise event="s1"/>
- </onentry>
- </state>
- <state id="s2">
- <onentry>
- <raise event="s2"/>
- </onentry>
- </state>
- </state>
- <state id="region2" initial="s3">
- <state id="s3">
- <onentry>
- <raise event="s3"/>
- </onentry>
- </state>
- <state id="s4">
- <onentry>
- <raise event="s4"/>
- </onentry>
- </state>
- </state>
- </parallel>
- </root>
- </statechart>
- <input>
- <event port="in" name="start" time="1 s"/>
- </input>
- <output>
- <big_step>
- <event port="out" name="s1"/>
- <event port="out" name="s4"/>
- </big_step>
- </output>
- </test>
|