https://9pdf.org/document/z3doe329-view-of-practical-use-high-level-petri-nets.html