Jensen, Kurt. “An Introduction to High-Level Petri Nets”. DAIMI Report Series 14, no. 197 (October 1, 1985). Accessed December 26, 2025. https://tidsskrift.dk/daimipb/article/view/7469.