"Coloured Petri Nets - Modelling and Validation of Concurrent Systems."

Kurt Jensen, Lars Michael Kristensen (2009)
a service of Schloss Dagstuhl - Leibniz Center for Informatics