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