Christensen, S., and N. D. Hansen. “Coloured Petri Nets Extended With Channels for Synchronous Communication”. DAIMI Report Series, vol. 21, no. 390, Apr. 1992, doi:10.7146/dpb.v21i390.6625.