Refine
Document Type
- Part of a Book (2)
- Doctoral Thesis (1)
- Report (1)
Keywords
- Zeitbewertetes Petri-Netz (2)
- Effizienz (1)
- Effizienzmessung (1)
- Petri-Netz (1)
- efficiency (1)
- petri-net (1)
- timed petri-net (1)
Das Werkzeug FastAsy implementiert Algorithmen, um durch Petri-Netze gegebene asynchrone Systeme zum Zweck der Effizienzmessung bezüglich einer Testhalbordnung zu vergleichen. Im Rahmen dieser Arbeit werden ein neues Klassendesign für FastAsy und die neu entwickelte graphische Oberfläche des Tools vorgestellt. Durch das neue Design soll FastAsy auf eine wesentlich größere Problemklasse anwendbar sein.
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.
