Jørgensen, Jens Bæk, and Kjeld Høyer Mortensen. “Modelling and Analysis of Distributed Program Execution in BETA Using Coloured Petri Nets”. DAIMI Report Series 26, no. 513 (February 1, 1997). Accessed May 9, 2024. https://tidsskrift.dk/daimipb/article/view/7042.