Parametrisation of Coloured Petri Nets (1997)

by S Christensen, K H Mortensen
Venue:Department of Computer Science, University of Aarhus