Jensen, K. (1985) “An Introduction to High-Level Petri Nets”, DAIMI Report Series, 14(197). doi: 10.7146/dpb.v14i197.7469.