Zeitbeschriftete Petri-Netze und FastAsy
Timed petri-nets and FastAsy
- Die Arbeit führt eine spezielle Klasse von zeitbeschrifteten Petri-Netzen mit Read-Arcs ein. Wir stellen darauf basierend einen Effizienzbegriff vor und verwenden ein Testing-Szenario, um zu einer Charakterisierung des Begriffs zu gelangen. Wir zeigen weiter eine Methode auf, zeitbehaftete Erreichbarkeitsgraphen effizient zu speichern. Die Ausdrucksmächtigkeit verschiedener Untertypen der Netze werden untersucht. Zuletzt stellen wir unsere Software FastAsy vor, die automatisiert die Effizienz solcher Netze vergleichen kann.
- This work introduces a special class of timed petri-nets with read-arcs. Based on this, we present a notion of efficiency and then use a testing scenario to provide a means of characterization. Furthermore we show a method for efficient storage of timed reachability graphs. The expressiveness of different subtypes of our nets is discussed. Last we present our software FastAsy which can automatically compare the efficiency of such nets.
Download full text files
Statistics
Print On Demand
Additional Services
| Author: | Elmar Bihler |
|---|---|
| URN: | urn:nbn:de:bvb:384-opus-13709 |
| Frontdoor URL | https://opus.bibliothek.uni-augsburg.de/opus4/1266 |
| Advisor: | Walter Vogler |
| Type: | Doctoral Thesis |
| Language: | German |
| Publishing Institution: | Universität Augsburg |
| Granting Institution: | Universität Augsburg, Fakultät für Angewandte Informatik |
| Date of final exam: | 2008/12/19 |
| Release Date: | 2009/05/20 |
| Tag: | efficiency; timed petri-net; petri-net |
| GND-Keyword: | Effizienz; Zeitbewertetes Petri-Netz; Petri-Netz |
| Institutes: | Fakultät für Angewandte Informatik |
| Fakultät für Angewandte Informatik / Institut für Informatik | |
| Dewey Decimal Classification: | 0 Informatik, Informationswissenschaft, allgemeine Werke / 00 Informatik, Wissen, Systeme / 004 Datenverarbeitung; Informatik |
| Licence (German): |  Deutsches Urheberrecht mit Print on Demand |
