Definition
graph LR
place0(["en_attente"])
place1(("envoyé"))
place2(("valider_responsable"))
place3(("rejeter_responsable"))
place4(("valider_drh"))
place5(("rejeter_drh"))
place6(("valider_dg"))
place7(("rejeter_dg"))
transition0["en_attente_to_envoye"]
place0-->transition0
transition0-->place1
transition1["envoye_to_valider_responsable"]
place1-->transition1
transition1-->place2
transition2["envoye_to_rejeter_responsable"]
place1-->transition2
transition2-->place3
transition3["rejeter_responsable_to_envoye"]
place3-->transition3
transition3-->place1
transition4["valider_responsable_to_rejeter_drh"]
place2-->transition4
transition4-->place5
transition5["rejeter_drh_to_envoye"]
place5-->transition5
transition5-->place1
transition6["valider_responsable_to_valider_drh"]
place2-->transition6
transition6-->place4
transition7["valider_drh_to_valider_dg"]
place4-->transition7
transition7-->place6
transition8["valider_drh_to_rejeter_dg"]
place4-->transition8
transition8-->place7
transition9["rejeter_dg_to_envoye"]
place7-->transition9
transition9-->place1
Calls
| # |
Call |
Args |
Return |
Exception |
Duration |