Definition
graph LR
place0(["opened"])
place1(("blocked"))
place2(("closed"))
transition0["block"]
place0-->transition0
transition0-->place1
transition1["reopen"]
place1-->transition1
transition1-->place0
transition2["close"]
place1-->transition2
transition2-->place2
click place0 showNodeDetails5f06201bec326ac6aba98f82f16e0cce
click place1 showNodeDetails5f06201bec326ac6aba98f82f16e0cce
click place2 showNodeDetails5f06201bec326ac6aba98f82f16e0cce
click transition0 showNodeDetails5f06201bec326ac6aba98f82f16e0cce
click transition1 showNodeDetails5f06201bec326ac6aba98f82f16e0cce
click transition2 showNodeDetails5f06201bec326ac6aba98f82f16e0cce
Calls
| # |
Call |
Args |
Return |
Exception |
Duration |