Christensen, Søren, and Niels Damgaard Hansen. 1992. “Coloured Petri Nets Extended With Channels for Synchronous Communication”. DAIMI Report Series 21 (390). https://doi.org/10.7146/dpb.v21i390.6625.