In: Maschinenmarkt, Vogel Verlag, Würzburg. 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. Wie eine Diagnose auf der Basis einer formalen ProzeÑbeschreibung mit Petri-Netzen möglich ist, wird in diesem Beitrag vorgestellt. Eine neue Form der Zeitbewertung für Petri-Netze wird hierzu erläutert. AnschlieÑend werden die Diagnosemöglichkeiten auf der Basis zeitbewerteter Petri-Netze aufgezeigt.