statechart_ortho.xml 672 B

123456789101112131415161718192021222324252627282930313233
  1. <statechart>
  2. <inport name="in">
  3. <event name="start"/>
  4. </inport>
  5. <outport name="out">
  6. <event name="t1"/>
  7. <event name="t2"/>
  8. </outport>
  9. <root>
  10. <parallel id="P">
  11. <state id="R1" initial="A">
  12. <state id="A">
  13. <transition target="../B">
  14. <raise event="t1"/>
  15. </transition>
  16. </state>
  17. <state id="B">
  18. </state>
  19. </state>
  20. <state id="R2" initial="C">
  21. <state id="C">
  22. <transition target="../D">
  23. <raise event="t2"/>
  24. </transition>
  25. </state>
  26. <state id="D">
  27. </state>
  28. </state>
  29. </parallel>
  30. </root>
  31. </statechart>