Genrich HJ, Lautenbach K. System modelling with high-level Petri nets. Theoretical Computer Science [Internet]. 1981;13(1):109 - 135. http://linkinghub.elsevier.com/retrieve/pii/0304397581901134