"Colored Petri nets: a graphical language for formal modeling and ..."

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