Petrinetze mit Fehlerzuständen