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 January 27, 2020. https://tidsskrift.dk/daimipb/article/view/7198.