projet-mini-genie-logiciel-.../eclipse-workspace/fr.n7.petrinet.exemples/gen/Developpement.net
Laurent Fainsin 5cc2138a0b FIN TP4
2021-10-10 13:48:27 +02:00

26 lines
1.3 KiB
Plaintext

net Developpement
pl Conception_idle (1)
pl Conception_started (0)
pl Conception_running (0)
pl Conception_finished (0)
pl Programmation_idle (1)
pl Programmation_started (0)
pl Programmation_running (0)
pl Programmation_finished (0)
pl RedactionTests_idle (1)
pl RedactionTests_started (0)
pl RedactionTests_running (0)
pl RedactionTests_finished (0)
pl RedactionDocs_idle (1)
pl RedactionDocs_started (0)
pl RedactionDocs_running (0)
pl RedactionDocs_finished (0)
tr Conception_start Conception_idle*1 -> Conception_running*1 Conception_started*1
tr Conception_finish Conception_running*1 -> Conception_finished*1
tr Programmation_start Programmation_idle*1 Conception_finished*1 -> Programmation_running*1 Programmation_started*1 Conception_finished*1
tr Programmation_finish Programmation_running*1 -> Programmation_finished*1
tr RedactionTests_start RedactionTests_idle*1 Conception_started*1 -> RedactionTests_running*1 RedactionTests_started*1 Conception_started*1
tr RedactionTests_finish RedactionTests_running*1 Programmation_finished*1 -> RedactionTests_finished*1 Programmation_finished*1
tr RedactionDocs_start RedactionDocs_idle*1 Conception_started*1 -> RedactionDocs_running*1 RedactionDocs_started*1 Conception_started*1
tr RedactionDocs_finish RedactionDocs_running*1 Conception_finished*1 -> RedactionDocs_finished*1 Conception_finished*1