Publikation: Dissertationsschrift

Zur Komplexität der Synthese von Petri-Netzen

Grunddaten
Abstract
Autoren
Einrichtung

Grunddaten

Titel	Zur Komplexität der Synthese von Petri-Netzen
Erscheinungsjahr	2021
Verlag	Universität Rostock
Verlagsort	Rostock
Publikationsform	Elektronische Ressource
Publikationsart	Dissertationsschrift
Sprache	Deutsch
DOI	10.18453/rosdok_id00003375
Letzte Änderung	25.11.2021 06:01:52
Bearbeitungsstatus	durch UB Rostock abschließend validiert
Dauerhafte URL	http://purl.uni-rostock.de/fodb/pub/66401
Links zu Katalogen

Abstract

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.

Autor

Tredup, Ronny

Einrichtung

IEF/Bereich Informatik