Nr. 517 (1997): PB-517 Analysing Coloured Petri Nets by the Occurrence Graph Method

Publiceret: 1997-02-01

Articles