No. 546 (2000): PB-546 State Space Methods for Coloured Petri Nets

Published: 2000-03-01