Anne V. Ratzer Lisa Wells Henry Michael Lassen Mads Laursen Jacob Frank Qvortrup Martin Stig Stissing Michael Westergaard Søren Christensen Kurt Jensen CPN Tools for Editing, Simulating, and Analysing Coloured Petri Nets. 450-462 2003 conf/apn/2003 ICATPN http://link.springer.de/link/service/series/0558/bibs/2679/26790450.htm db/conf/apn/icatpn2003.html#RatzerWLLQSWCJ03