Benutzer: Gast  Login
Originaltitel:
Generalized Petri Nets: Algorithms and Complexity 
Übersetzter Titel:
Generalisierte Petrinetze: Algorithmen und Komplexität 
Jahr:
2015 
Dokumenttyp:
Dissertation 
Institution:
Fakultät für Informatik 
Betreuer:
Mayr, Ernst W. (Prof. Dr.) 
Gutachter:
Mayr, Ernst W. (Prof. Dr.); Esparza Estaun, Francisco Javier (Prof. Dr. Dr. h.c.) 
Sprache:
en 
Fachgebiet:
DAT Datenverarbeitung, Informatik 
Stichworte:
Petri nets 
Übersetzte Stichworte:
Petrinetze 
TU-Systematik:
DAT 530d 
Kurzfassung:
We develop a framework, based on canonical permutations and firing sequences, for approaching classical computational problems (like reachability) for classes of Petri nets with arbitrary edge multiplicities. We apply this framework to conservative Petri nets, generalized communication-free Petri nets, and their inverse nets to obtain complexity results for these problems. Furthermore, we investigate generalized conflict-free, communication-free, and rings of Petri nets, as well as related gramm...    »
 
Übersetzte Kurzfassung:
Wir entwickeln ein auf kanonischen Permutationen und Schaltungsfolgen basierendes Rahmenkonzept für klassische Probleme (wie Erreichbarkeit) für Klassen von Petrinetzen mit allgemeinen Kantengewichten. Dieses wenden wir auf erhaltende Petrinetze, generalisierte kommunikationsfreie Petrinetze, sowie deren inverse Petrinetze an, um Komplexitätsschranken zu erhalten. Zudem untersuchen wir generalisierte konfliktfreie, kommunikationsfreie, und ringförmige Petrinetze, sowie mit diesen Klassen verwand...    »
 
Mündliche Prüfung:
23.03.2015 
Dateigröße:
1313739 bytes 
Seiten:
144 
Letzte Änderung:
29.05.2015