multiple_raises_parallel.xml 1.9 KB

12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152
  1. <?xml version="1.0" encoding="UTF-8"?>
  2. <diagram name="multiple-raises-parallel">
  3. <class name="A" default="true">
  4. <scxml big_step_maximality="take_one" initial="x">
  5. <parallel id="x">
  6. <state id="x1" initial="x1">
  7. <state id="x1">
  8. <transition target="../end">
  9. <raise event="z" />
  10. <script>
  11. print 'raised event in x1'
  12. </script>
  13. </transition>
  14. </state>
  15. <state id="end" />
  16. </state>
  17. <state id="x2" initial="x2">
  18. <state id="x2">
  19. <transition target="../end">
  20. <raise event="z" />
  21. <script>
  22. print 'raised event in x2'
  23. </script>
  24. </transition>
  25. </state>
  26. <state id="end" />
  27. </state>
  28. <state id="x3" initial="x3">
  29. <state id="x3">
  30. <transition target="../end">
  31. <raise event="z" />
  32. <script>
  33. print 'raised event in x3'
  34. </script>
  35. </transition>
  36. </state>
  37. <state id="end" />
  38. </state>
  39. <state id="receiving">
  40. <state id="receiving">
  41. <transition target="." event="z">
  42. <script>
  43. print 'received event...'
  44. </script>
  45. </transition>
  46. </state>
  47. </state>
  48. </parallel>
  49. </scxml>
  50. </class>
  51. </diagram>