sccd/test/test_files/day_atlee/statechart_fig8_counter.xml

<?xml version="1.0" ?>
<statechart>
  <!-- day & atlee dictates "whole", had to add "next_small_step" myself-->
  <semantics
    input_event_lifeline="whole"
    internal_event_lifeline="next_small_step"/>

  <datamodel>
  </datamodel>

  <tree>
    <state>
      <parallel id="Counter">
        <state id="Bit_1" initial="Bit_11">
          <state id="Bit_11">
            <transition port="in" event="tk0" target="../Bit_12"/>
          </state>
          <state id="Bit_12">
            <transition port="in" event="tk0" target="../Bit_11">
              <raise event="tk1"/>
            </transition>
          </state>
        </state>

        <state id="Bit_2" initial="Bit_21">
          <state id="Bit_21">
            <transition event="tk1" target="../Bit_22"/>
          </state>
          <state id="Bit_22">
            <transition event="tk1" target="../Bit_21">
              <raise port="out" event="done"/>
            </transition>
          </state>
        </state>
      </parallel>
    </state>
  </tree>
</statechart>