Jensen K. Practical Use of High-level Petri Nets. DPB [Internet]. 2000 Jun. 1 [cited 2024 May 5];29(547). Available from: https://tidsskrift.dk/daimipb/article/view/7081