Funktionale Analyse Zeitbehafteter Petri-Netze

Eine Systembewertung beinhaltet i.a. einen funktionalen und einen quantitativen Anteil. Zur Analyse funktionaler Aspekte stellen Petri-Netze zum einen eine leicht zu handhabende Beschreibungsm?glichkeit und zum anderen eine Vielzahl von, teilweise sehr effizienten, Analysetechniken zur Verf?gung. Urn auch quantitative Aspekte erfassen zu k?nnen, wurde der Zeitbegriff nachtr?glich in die Petri-Netz-Modellwelt integriert (zeitbehaftete Petri-Netze), wobei gerade in den letzten Jahren vornehmlich zeitbehaftete Modelle betrachtet werden, die Markov-Prozesse beschreiben. Nachteilig wirkt sich dabei aus, daB wesentliche Eigenschaften f?r das zeitbehaftete Petri-Netz nicht erf?llt sind, obwohl sie f?r das entsprechende "zeitlose" Petri-Netz gelten, so daB die oben angesprochenen Analysetechniken nicht mehr direkt anwendbar sind. In dieser Arbeit werden Beispiele f?r solche F?11e angegeben. Urn den EinfluB der Zeit modellm?Big zu erfassen, wird gezeigt, daB Petri-Netze mit einer Priorit?tszuordnung zu den Transitionen geeignet sind, diverse Formen zeitbehafteter Petri-Netze bzgl. der Auswirkung der Zeitintegration auf funktionale Eigenschaften zu erfassen. Es wird mittels dieser Form der Petri- Netze nachgewiesen, daB durch leicht ?berpr?fbare Restriktionen an die Form der Zeitintegration viele Eigenschaften des Petri-Netzes invariant bleiben. Die hier betrachteten Eigenschaften (z.B. Beschr?nktheit, Lebendigkeit, Existenz von home states) stellen dabei elementare Voraussetzungen f?r eine quantitative Analyse, insbesondere Markovscher Modelle, dar. VI An dieser Stelle sei Herm Prof. Dr.-Ing. H. Beilner und Herm Prof. Dr. G. Dittrich rur ihre Betreuung gedankt.

Author: Falko Bause

Publisher: Deutscher Universitatsverlag

Publication Date: Jan 01, 1992

Number of Pages: 184 pages

Binding: Paperback or Softback

ISBN-10: 3824420252

ISBN-13: 9783824420254