Jørgensen, J. B., & Mortensen, K. H. (1997). Modelling and Analysis of Distributed Program Execution in BETA Using Coloured Petri Nets. DAIMI Report Series, 26(513). https://doi.org/10.7146/dpb.v26i513.7042