Zur Seitennavigation oder mit Tastenkombination für den accesskey-Taste und Taste 1 
Zum Seiteninhalt oder mit Tastenkombination für den accesskey und Taste 2 
Startseite    Anmelden     
   Hilfe  Trennstrich  Sitemap  Trennstrich  Impressum  Trennstrich  Datenschutz  Trennstrich  node1  Trennstrich  Switch to english language

Publikation: Dissertationsschrift

Zur Komplexität der Synthese von Petri-Netzen


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 Diese Publikation in der Universitätsbibliographie Diese Publikation im GBV-Katalog

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 Link zur UB Rostock Link zum GBV-Katalog

Einrichtung

IEF/Bereich Informatik