TY  - BOOK
AU  - Tredup, Ronny
PY  - 2021
DA  - 2021//
TI  - Zur Komplexität der Synthese von Petri-Netzen
PB  - Universität Rostock
CY  - Rostock
AB  - 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>
UR  - http://purl.uni-rostock.de/rosdok/id00003375
UR  - https://nbn-resolving.org/urn:nbn:de:gbv:28-rosdok_id00003375-6
UR  - https://d-nb.info/1293535508/34
UR  - https://doi.org/10.18453/rosdok_id00003375
DO  - 10.18453/rosdok_id00003375
LA  - German
N1  - vorgelegt von Ronny Tredup
ID  - 1777954444
ER  -