User: Guest  Login
Original title:
Generalized Petri Nets: Algorithms and Complexity 
Translated title:
Generalisierte Petrinetze: Algorithmen und Komplexität 
Year:
2015 
Document type:
Dissertation 
Institution:
Fakultät für Informatik 
Advisor:
Mayr, Ernst W. (Prof. Dr.) 
Referee:
Mayr, Ernst W. (Prof. Dr.); Esparza Estaun, Francisco Javier (Prof. Dr. Dr. h.c.) 
Language:
en 
Subject group:
DAT Datenverarbeitung, Informatik 
Keywords:
Petri nets 
Translated keywords:
Petrinetze 
TUM classification:
DAT 530d 
Abstract:
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...    »
 
Translated abstract:
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...    »
 
Oral examination:
23.03.2015 
File size:
1313739 bytes 
Pages:
144 
Last change:
29.05.2015