https://9lib.org/document/zx5xm99n-game-petri-nets.html