Definition
graph LR
place0(["initiale"])
place1(("En route"))
place2(("Receptionner"))
place3(("Ecrasement 1"))
place4(("Ecrasement 2"))
place5(("Ecrasement 3"))
place6(("Ecrasement 4"))
place7(("Ecrasement 5"))
place8(("Ecrasement 6"))
place9(("Ecrasement 7"))
place10(("Ecrasement 8"))
place11(("Ecrasement 9"))
place12(("Ecrasement 10"))
place13(("Valider"))
place14(("Generer"))
place15(("Annuler"))
transition0["to_route"]
place0-->transition0
transition0-->place1
transition1["reception"]
place1-->transition1
transition1-->place2
transition2["ecrasement_1"]
place2-->transition2
transition2-->place3
transition3["ecrasement_2"]
place3-->transition3
transition3-->place4
transition4["ecrasement_3"]
place4-->transition4
transition4-->place5
transition5["ecrasement_4"]
place5-->transition5
transition5-->place6
transition6["ecrasement_5"]
place6-->transition6
transition6-->place7
transition7["ecrasement_6"]
place7-->transition7
transition7-->place8
transition8["ecrasement_7"]
place8-->transition8
transition8-->place9
transition9["ecrasement_8"]
place9-->transition9
transition9-->place10
transition10["ecrasement_9"]
place10-->transition10
transition10-->place11
transition11["ecrasement_10"]
place11-->transition11
transition11-->place12
transition12["valide"]
place8-->transition12
transition12-->place13
transition13["valide"]
place9-->transition13
transition13-->place13
transition14["valide"]
place10-->transition14
transition14-->place13
transition15["valide"]
place11-->transition15
transition15-->place13
transition16["valide"]
place12-->transition16
transition16-->place13
transition17["generer"]
place13-->transition17
transition17-->place14
Calls
| # |
Call |
Args |
Return |
Exception |
Duration |