Parameterised Coloured Petri Nets (1999)

by T Mailund
Venue:Department of Computer Science, University of Aarhus