https://123dok.net/document/8ydp8ojy-use-of-petri-net-for-studying-a-switching-node-in-a-wan-network.html