Jensen K. Fourth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools. DPB [Internet]. 2002 Aug. 1 [cited 2024 Apr. 18];31(560). Available from: https://tidsskrift.dk/daimipb/article/view/7117