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

Published: 1997-02-01

Articles