Coloured Petri Nets Extended with Channels for Synchronous Communication (1994)

by S Christensen, N D Hansen
Venue:In Proc. of ICATPN 1994, volume 815 of LNCS