Colored Petri nets extended with channels for synchronous communication (1994)

by S Christensen, N Hansen
Venue:Proc. of International Conf. on Application and Theory of Petri Nets