resultingPetrinet2.net 2.5 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748
  1. tr root_start root_ready*1 -> root_running*1 R1_ready*1 R2_ready*1 R3_ready*1
  2. tr root_finish root_running*1 R1_finished?1 R2_finished?1 R3_finished?1 -> root_finished*1
  3. tr child1_start child1_ready*1 -> child1_running*1 C11_ready*1 C12_ready*1 C13_ready*1 C14_ready*1
  4. tr child1_finish child1_running*1 C11_finished?1 C12_finished?1 C13_finished?1 C14_finished?1 -> child1_finished*1
  5. tr R1_start R1_ready*1 -> R1_started*1 R1_running*1 child1_ready*1
  6. tr R1_finish R1_running*1 child1_finished?1 -> R1_finished*1
  7. tr child2_start child2_ready*1 -> child2_running*1 C21_ready*1 C22_ready*1 C23_ready*1 C24_ready*1 C25_ready*1 C26_ready*1
  8. tr child2_finish child2_running*1 C21_finished?1 C22_finished?1 C23_finished?1 C24_finished?1 C25_finished?1 C26_finished?1 -> child2_finished*1
  9. tr R2_start R2_ready*1 R1_started?1 -> R2_started*1 R2_running*1 child2_ready*1
  10. tr R2_finish R2_running*1 child2_finished?1 -> R2_finished*1
  11. tr C11_start C11_ready*1 -> C11_started*1 C11_running*1
  12. tr C11_finish C11_running*1 -> C11_finished*1
  13. tr C12_start C12_ready*1 C11_finished?1 -> C12_started*1 C12_running*1
  14. tr C12_finish C12_running*1 -> C12_finished*1
  15. tr C13_start C13_ready*1 C11_started?1 -> C13_started*1 C13_running*1
  16. tr C13_finish C13_running*1 -> C13_finished*1
  17. tr C14_start C14_ready*1 -> C14_started*1 C14_running*1
  18. tr C14_finish C14_running*1 C12_started?1 C13_finished?1 -> C14_finished*1
  19. tr C21_start C21_ready*1 -> C21_started*1 C21_running*1
  20. tr C21_finish C21_running*1 -> C21_finished*1
  21. tr C22_start C22_ready*1 C21_started?1 -> C22_started*1 C22_running*1
  22. tr C22_finish C22_running*1 -> C22_finished*1
  23. tr C23_start C23_ready*1 C21_started?1 -> C23_started*1 C23_running*1
  24. tr C23_finish C23_running*1 -> C23_finished*1
  25. tr C24_start C24_ready*1 C22_finished?1 -> C24_started*1 C24_running*1
  26. tr C24_finish C24_running*1 -> C24_finished*1
  27. tr C25_start C25_ready*1 C23_finished?1 -> C25_started*1 C25_running*1
  28. tr C25_finish C25_running*1 -> C25_finished*1
  29. tr C26_start C26_ready*1 C24_finished?1 -> C26_started*1 C26_running*1
  30. tr C26_finish C26_running*1 C25_finished?1 -> C26_finished*1
  31. tr R3_start R3_ready*1 R1_finished?1 R2_finished?1 -> R3_started*1 R3_running*1
  32. tr R3_finish R3_running*1 -> R3_finished*1
  33. pl root_ready (1)
  34. pl child1_ready (1)
  35. pl child2_ready (1)
  36. pl R1_ready (1)
  37. pl C11_ready (1)
  38. pl C12_ready (1)
  39. pl C13_ready (1)
  40. pl C14_ready (1)
  41. pl R2_ready (1)
  42. pl C21_ready (1)
  43. pl C22_ready (1)
  44. pl C23_ready (1)
  45. pl C24_ready (1)
  46. pl C25_ready (1)
  47. pl C26_ready (1)
  48. pl R3_ready (1)