Jensen K. Sixth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools Aarhus, Denmark, October 24-26, 2005. DPB [Internet]. 2005 Oct. 1 [cited 2024 Apr. 23];34(576). Available from: https://tidsskrift.dk/daimipb/article/view/7198