<?xml version="1.0" ?>
<diagram
  xmlns="msdl.uantwerpen.be/sccd"
  author="Joeri Exelmans"
  name="take_one_next_small_step">
  <description>
    Order Of Small Steps: Explicit (Document order).
  </description>
  <outport name="out"/>
  <class name="c" default="true">
    <scxml initial="p" big_step_maximality="take_one">
      <parallel id="p">
        <state id="region1" initial="s1">
          <state id="s1">
            <transition target="../s2" cond='INSTATE(["/p/region2/s1"])'>
              <raise port="out" event="t1"/>
            </transition>
          </state>
          <state id="s2"/>
        </state>
        <state id="region2" initial="s1">
          <state id="s1">
            <transition target="../s2" cond='INSTATE(["/p/region1/s1"])'>
              <raise port="out" event="t2"/>
            </transition>
          </state>
          <state id="s2"/>
        </state>
      </parallel>
    </scxml>
  </class>
  <test>
    <expected>
      <slot>
        <!-- big step -->
        <event name="t1" port="out"/>
      </slot>
    </expected>
  </test>
</diagram>
