No. 562 (2002): PB-562 Facilitating the Practical Use of Coloured Petri Nets

Published: 2002-08-01