Nr. 390 (1992): PB-390 Coloured Petri Nets Extended with Channels for Synchronous Communication

Publiceret: 1992-04-01

Articles