Limit this search to....

Funktionale Analyse Zeitbehafteter Petri-Netze 1992 Edition
Contributor(s): Bause, Falko (Author)
ISBN: 3824420252     ISBN-13: 9783824420254
Publisher: Deutscher Universitatsverlag
OUR PRICE:   $56.99  
Product Type: Paperback
Language: German
Published: January 1992
Qty:
Additional Information
BISAC Categories:
- Computers | Computer Science
Dewey: 004
LCCN: 93140121
Physical Information: 0.42" H x 5.83" W x 8.27" (0.53 lbs) 184 pages
 
Descriptions, Reviews, Etc.
Publisher Description:
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.