Format:
1 Online-Ressource (VIII, 184 S. 22 Abb)
ISBN:
9783663067306
,
9783824420254
Note:
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. Um 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, daß wesentliche Eigenschaften für das zeitbehaftete Petri-Netz nicht erfüllt sind, obwohl sie für das entsprechende "zeitlose" Petri-Netz gelten, so daß die oben angesprochenen Analysetechniken nicht mehr direkt anwendbar sind. In dieser Arbeit werden Beispiele für solche Fälle angegeben. Um den Einfluß der Zeit modellmäßig zu erfassen, wird gezeigt, daß 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, daß 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 Herrn Prof. Dr.-Ing. H. Beilner und Herrn Prof. Dr. G. Dittrich für ihre Betreuung gedankt
Language:
German
Keywords:
Systemanalyse
;
Petri-Netz
;
Hochschulschrift
DOI:
10.1007/978-3-663-06730-6
