No. 564 (2002): PB-564 The Symmetry Method for Coloured Petri Nets

Published: 2002-08-01