Jensen, Kurt. “Eighth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, Aarhus, Denmark, October 22-24, 2007”. DAIMI Report Series 36, no. 584 (October 1, 2007). Accessed January 23, 2020. https://tidsskrift.dk/daimipb/article/view/7197.