Jensen, Kurt. “Sixth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools Aarhus, Denmark, October 24-26, 2005”. DAIMI Report Series 34, no. 576 (October 1, 2005). Accessed April 26, 2024. https://tidsskrift.dk/daimipb/article/view/7198.