alten Petrinetze entfernt
Pertrinetzt überarbeitet Band 1