Funktionale Analyse Zeitbehafteter Petri-Netze [German]

By Falko Bause

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.

• Format: Paperback
• Language: German
• ISBN: 3824420252
• ISBN13: 9783824420254
• Release Date: January 1992
• Publisher: Deutscher Universitatsverlag
• Length: 184 Pages
• Weight: 0.53 lbs.
• Dimensions: 0.4" x 5.8" x 8.3"