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 (oktober 1, 2005). Set december 23, 2025. https://tidsskrift.dk/daimipb/article/view/7198.