Jensen, Kurt. “Practical Use of High-Level Petri Nets”. DAIMI Report Series 29, no. 547 (June 1, 2000). Accessed May 5, 2024. https://tidsskrift.dk/daimipb/article/view/7081.