Jørgensen, J. B.; Mortensen, K. H. Modelling and Analysis of Distributed Program Execution in BETA Using Coloured Petri Nets. DPB 1997, 26.