statechart_ortho.xml 996 B

12345678910111213141516171819202122232425262728293031323334353637383940414243444546
  1. <?xml version="1.0" ?>
  2. <statechart>
  3. <inport name="in">
  4. <event name="e"/>
  5. </inport>
  6. <outport name="out">
  7. <event name="in_b"/>
  8. <event name="in_c"/>
  9. <event name="in_e"/>
  10. </outport>
  11. <root>
  12. <parallel id="p">
  13. <state id="o0" initial="a">
  14. <state id="a">
  15. <transition event="e" target="../b">
  16. <raise event="f"/>
  17. </transition>
  18. </state>
  19. <state id="b">
  20. <onentry>
  21. <raise event="in_b"/>
  22. </onentry>
  23. <transition event="f" target="../c"/>
  24. </state>
  25. <state id="c">
  26. <onentry>
  27. <raise event="in_c"/>
  28. </onentry>
  29. </state>
  30. </state>
  31. <state id="o1" initial="d">
  32. <state id="d">
  33. <transition event="f" target="../e"/>
  34. </state>
  35. <state id="e">
  36. <onentry>
  37. <raise event="in_e"/>
  38. </onentry>
  39. </state>
  40. </state>
  41. </parallel>
  42. </root>
  43. </statechart>