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

Publiceret: 2002-08-01