In: TU Braunschweig. 1992. In German.
Abstract: Für den Entwurf eines Diagnosesystems wäre es wünschenswert, Strukturen und Daten, die beim Entwurf des Steuerungssystems anfallen, weiterzuverwenden. Mehrfachentwicklungen lieÑen sich so vermeiden und die Möglichkeit der Wiederverwendbarkeit von Informationen könnte erhebliche Kosten einsparen. Dieses scheint insbesondere aussichtsreich, wenn für den Entwurf des Steuerungssystems ein formales Beschreibungsmittel verwendet wird. In diesem Beitrag wird vorgestellt, wie eine Diagnose auf der Basis einer formalen ProzeÑbeschreibung mit Petri-Netzen möglich ist. Hierzu wird eine neue Form von Zeitbewertungen für Petri-Netze vorgestellt. AnschlieÑend werden die Diagnosemöglichkeiten auf der Basis zeitbewerter Petri-Netze diskutiert.