Diagnose diskret modellierter Systeme mit Petrinetzen / Karsten Lemmer. Düsseldorf : VDI-Verl., 1995