Christensen, S.; Hansen, N. D. Coloured Petri Nets Extended With Channels for Synchronous Communication. DPB 1992, 21.