@Book{1777954444,
author="Tredup, Ronny",
title="Zur Komplexit{\"a}t der Synthese von Petri-Netzen",
year="2021",
address="Rostock",
abstract="Petri-Netz-Synthese fragt f{\"u}r ein regul{\"a}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{\"u}r verschiedene Implementierungen und eine Vielzahl von Petri-Netz-Klassen aus Sicht der klassischen und der parametrisierten Komplexit{\"a}t. Ebenso wird die Komplexit{\"a}t der Modifikations-Techniken Neubeschriftung sowie Kanten-, Ereignis- und Zustandsl{\"o}schung untersucht, die darauf abzielen, nicht-implememtierbare Transitionssysteme implementierbar zu machen.<ger>",
school="Universit{\"a}t Rostock",
note="vorgelegt von Ronny Tredup",
note="GutachterInnen: Karsten Wolf (Universit{\"a}t Rostock) ; Robert Lorenz (Universit{\"a}t Augsburg)",
note="Dissertation Universit{\"a}t Rostock 2021",
doi="10.18453/rosdok_id00003375",
url="http://purl.uni-rostock.de/rosdok/id00003375",
url="https://nbn-resolving.org/urn:nbn:de:gbv:28-rosdok_id00003375-6",
url="https://d-nb.info/1293535508/34",
url="https://doi.org/10.18453/rosdok_id00003375",
language="German"
}