https://123dok.net/document/yr31g7ej-petri-nets-executable-specifications-level-timed-parallel-systems.html