J. B. Jørgensen and K. H. Mortensen, “Modelling and Analysis of Distributed Program Execution in BETA Using Coloured Petri Nets”, DPB, vol. 26, no. 513, Feb. 1997.