https://123dok.net/document/zlg1o3xg-general-approach-computation-liveness-enforcing-supervisor-petri-model.html