%0 Book
%T Zur Komplexität der Synthese von Petri-Netzen
%A Tredup, Ronny
%D 2021
%C Rostock
%C Universität Rostock
%G German
%F 1777954444
%O vorgelegt von Ronny Tredup
%O GutachterInnen: Karsten Wolf (Universität Rostock) ; Robert Lorenz (Universität Augsburg)
%O Dissertation Universität Rostock 2021
%X 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>
%L 004
%9 theses
%9 Text
%9 Hochschulschrift
%R 10.18453/rosdok_id00003375
%U http://purl.uni-rostock.de/rosdok/id00003375
%U https://nbn-resolving.org/urn:nbn:de:gbv:28-rosdok_id00003375-6
%U https://d-nb.info/1293535508/34
%U https://doi.org/10.18453/rosdok_id00003375