"Vermeidung von Verklemmungen in Bewerteten Petrinetzen."

R. Schroff (1974)
a service of Schloss Dagstuhl - Leibniz Center for Informatics