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