Lars Michael Kristensen Søren Christensen Kurt Jensen The Practitioner's Guide to Coloured Petri Nets. 98-132 1998 2 STTT 2 http://link.springer.de/link/service/journals/10009/bibs/8002002/80020098.htm db/journals/sttt/sttt2.html#KristensenCJ98