Definition
graph LR
place0(["0"])
place1(("1"))
place2(("2"))
place3(("3"))
place4(("4"))
place5(("5"))
transition0["to_publishing"]
place0-->transition0
transition0-->place1
transition1["to_published"]
place1-->transition1
transition1-->place2
transition2["to_deactivating"]
place2-->transition2
transition2-->place3
transition3["to_deactivated"]
place3-->transition3
transition3-->place4
transition4["to_expired"]
place2-->transition4
transition4-->place5
Calls
| # |
Call |
Args |
Return |
Exception |
Duration |