"A Modelling Approach with Coloured Petri Nets."

Christine Choppy, Laure Petrucci, Gianna Reggio (2008)
a service of Schloss Dagstuhl - Leibniz Center for Informatics