Tilbage til artikeldetaljer Coloured Petri Nets Extended with Channels for Synchronous Communication Download Download PDF