Für Studierende

Veranstaltungen SS 05

Vorlesung Dualität und Diagnose in Höheren Petri-Netzen

Titel:	Dualität und Diagnose in Höheren Petri-Netzen (V)
Nr.:	4.1.24
Dozent:	Kurt Lautenbach
Beginn:	27.04.05
Zeit/Ort:	Mi 14 c.t. / MB 013
Voraussetzung:	Mathematik (Grundstudium) hilfreich
Kurzbeschreibung:	Petri-Netze sind bei der Modellierung komplexer technischer Systeme (z.B. Discrete Event Systems) weit verbreitet. Um den Anforderungen aus diesem Anwendungsgebiet gerecht werden zu können, wurden Konzepte wie Zeit oder stochastische Vorgänge sowie unterscheidbare Tokens eingeführt, welche die Sprachmächtigkeit der Petri-Netze erhöhen (Höhere Petri-Netze). Bei einfachen Petri-Netzen hat die Dualisierung ein weites Feld neuer Möglichkeiten für Diagnose eröffnet. So können aus Petri-Netzen, welche z.B. eine technische Anlage modellieren, durch die Dualisierung des Netzes und Simulation auf dem dualen Netz automatisch Ursachen für den Ausfall einzelner Komponenten ermittelt werden, was das Berechnen von Fehlerbäumen als Diagnose-Werkzeug größtenteils überflüssig macht. Gegenstand dieser Vorlesung ist die Übertragung des Dualitätsbegriffs auf höhere Petri-Netze und die daraus abzuleitenden Möglichkeiten zur Diagnose. Dabei wird besonderer Wert auf anschauliche Beispiele gelegt, welche die praktische Anwendbarkeit verdeutlichen.

zurück