Ankündigung eines Vortrags im Graduiertenkolleg

Gastvortrag

"Aggregierung endlicher Zustandsautomaten"

Dienstag, 8. Juni 2004

Dr.-Ing. Jörn Freiheit
Computer Systems Engineering Centre
University of South Australia

Termin
Dienstag, 8. Juni 2004, 14 Uhr
Ort
TU Berlin, Einsteinufer 17, Gebäude EN, Raum 257
Inhalt
Für die Modellierung und Leistungsbewertung komplexer, nebenläufiger Systeme, wie Fertigungssysteme, Kommunikationsprotokolle und Geschäftsprozesse, sind Stochastische Petrinetze eine geeignete formale Methode. Jedoch sind bekannte Analysemethoden dadurch beschränkt, dass sie alle globalen Zustände eines Systems betrachten, deren Anzahl sehr groß sein kann. Reale Systeme haben häufig so viele Zustände, dass sie mit derzeitiger Hardware nicht analysierbar sind. In dem Vortrag wird eine spezielle Klasse von stochastischen Petrinetzen betrachtet, sogenannte Zustandsautomaten. Anhand eines Beispiels aus dem Bereich der Fertigungssysteme wird erstmals gezeigt, wie die Leistung von mit Zustandsautomaten modellierbaren Systemen analysiert werden kann, ohne die globalen Zustände der Systeme betrachten zu müssen.