S. Christensen and N. D. Hansen, “Coloured Petri Nets Extended with Channels for Synchronous Communication”, DPB, vol. 21, no. 390, Apr. 1992.