"A Perspective on Explicit State Space Exploration of Coloured Petri Nets: ..."

Lars Michael Kristensen (2010)
a service of Schloss Dagstuhl - Leibniz Center for Informatics