Jensen, K. (1984) “High-Level Petri Nets”, DAIMI Report Series, 11(151). doi: 10.7146/dpb.v11i151.7425.