outputModelSimplePDL2PN.tex 1.8 KB

12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455
  1. Before Resolve
  2. tr root_start root_ready*1 --> root_running*1
  3. tr root_finish root_running*1 --> root_finished*1
  4. tr child_start child_ready*1 --> child_running*1
  5. tr child_finish child_running*1 --> child_finished*1
  6. tr resolve t_start
  7. tr resolve t_finish
  8. tr A_start A_ready*1 --> A_started*1 A_running*1
  9. tr A_finish A_running*1 --> A_finished*1
  10. tr process resolve t_start
  11. tr process resolve t_finish
  12. tr B_start B_ready*1 --> B_started*1 B_running*1
  13. tr B_finish B_running*1 --> B_finished*1
  14. tr process resolve t_start
  15. tr process resolve t_finish
  16. tr C_start C_ready*1 --> C_started*1 C_running*1
  17. tr C_finish C_running*1 --> C_finished*1
  18. tr process resolve t_start
  19. tr process resolve t_finish
  20. tr D_start D_ready*1 --> D_started*1 D_running*1
  21. tr D_finish D_running*1 --> D_finished*1
  22. tr process resolve t_start
  23. tr process resolve t_finish
  24. tr resolve t_finish
  25. tr resolve t_start
  26. pl root_ready 1
  27. pl child_ready 1
  28. pl A_ready 1
  29. pl B_ready 1
  30. pl C_ready 1
  31. pl D_ready 1
  32. pl resolve p_started
  33. pl resolve p_started
  34. Test strategy resolve
  35. After Resolve
  36. tr root_start root_ready*1 --> root_running*1 A_ready*1 B_ready*1
  37. tr root_finish root_running*1 A_finished?1 B_finished?1 --> root_finished*1
  38. tr child_start child_ready*1 --> child_running*1 C_ready*1 D_ready*1
  39. tr child_finish child_running*1 C_finished?1 D_finished?1 --> child_finished*1
  40. tr B_start B_ready*1 A_started?1 --> B_started*1 B_running*1 child_ready*1
  41. tr B_finish B_running*1 child_finished?1 --> B_finished*1
  42. tr A_start A_ready*1 --> A_started*1 A_running*1
  43. tr A_finish A_running*1 --> A_finished*1
  44. tr C_start C_ready*1 --> C_started*1 C_running*1
  45. tr C_finish C_running*1 --> C_finished*1
  46. tr D_start D_ready*1 --> D_started*1 D_running*1
  47. tr D_finish D_running*1 C_started?1 --> D_finished*1
  48. pl root_ready 1
  49. pl child_ready 1
  50. pl A_ready 1
  51. pl B_ready 1
  52. pl C_ready 1
  53. pl D_ready 1