Jensen K. Workshop on Practical Use of Coloured Petri Nets and Design/CPN: Aarhus, Denmark, 10-12 June 1998. DPB [Internet]. 1998 May 1 [cited 2024 May 6];27(532). Available from: https://tidsskrift.dk/daimipb/article/view/7649