https://9dok.net/document/zgw3m458-consider-petri-net-describing-lamport-mutual-exclusion-algorithm.html