https://123dok.net/document/zlgv7442-slicing-high-level-petri-nets.html