The Practitioner’s Guide to Coloured Petri Nets (1998)

by L M Kristensen, S Christensen, K Jensen
Venue:Journal on Software Tools for Technology Transfer