Zur Komplexität der Synthese von Petri-Netzen Tredup, Ronny , 1983- (VerfasserIn) Wolf, Karsten , 1967- (AkademischeR BetreuerIn) Lorenz, Robert (AkademischeR BetreuerIn) Universität Rostock (Grad-verleihende Institution) Universität Rostock Fakultät für Informatik und Elektrotechnik (Grad-verleihende Institution) Text theses Text Hochschulschrift 2021 2021 ger electronic resourceremoteComputermedienOnline-Ressource1 Online-Ressource Petri-Netz-Synthese fragt für ein reguläres Verhalten, das als Transitionssystem A gegeben ist, ob es ein Petri-Netz (einer bestimmten Klasse) gibt, das A implementiert. Diese Arbeit untersucht Varianten dieses Entscheidungsproblems für verschiedene Implementierungen und eine Vielzahl von Petri-Netz-Klassen aus Sicht der klassischen und der parametrisierten Komplexität. Ebenso wird die Komplexität der Modifikations-Techniken Neubeschriftung sowie Kanten-, Ereignis- und Zustandslöschung untersucht, die darauf abzielen, nicht-implememtierbare Transitionssysteme implementierbar zu machen.<ger> Petri net synthesis asks, for a regular behavior given as a transition system A, whether there exists a Petri net (of a particular class) that implements A. This work investigates variants of this decision problem for different implementations and a variety of Petri net classes from the point of view of classical and parameterized complexity. Also investigated is the complexity of the modification techniques of relabeling and edge, event, and state deletion, which aim to make non-implementable transition systems implementable.<eng> vorgelegt von Ronny Tredup GutachterInnen: Karsten Wolf (Universität Rostock) ; Robert Lorenz (Universität Augsburg) Dissertation Universität Rostock 2021 004 004.01 004 54.10 http://purl.uni-rostock.de/rosdok/id00003375 https://doi.org/10.18453/rosdok_id00003375 https://nbn-resolving.org/urn:nbn:de:gbv:28-rosdok_id00003375-6 https://d-nb.info/1293535508/34 Zur Komplexität der Synthese von Petri-Netzen--(DE-627)1778209408 urn:nbn:de:gbv:28-rosdok_id00003375-6 doi: 10.18453/rosdok_id00003375 oclc: 1285538862 ppn: (DE-627)1777954444