"15th German Workshop on Algorithms and Tools for Petri Nets, Algorithmen ..."

Niels Lohmann, Karsten Wolf (2008)
a service of Schloss Dagstuhl - Leibniz Center for Informatics