Zur Komplexität der Synthese von Petri-Netzen
Tredup, Ronny
1983-
VerfasserIn
aut
Wolf, Karsten
1967-
AkademischeR BetreuerIn
dgs
Lorenz, Robert
AkademischeR BetreuerIn
dgs
Universität Rostock
Grad-verleihende Institution
dgg
Universität Rostock
Fakultät für Informatik und Elektrotechnik
Grad-verleihende Institution
dgg
text
theses
Text
Hochschulschrift
gw
2021
monographic
XA-DE
Rostock
Universität
publisher
2021
Rostock
Universitätsbibliothek
distributor
ger
1 Online-Ressource
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>
Petri net synthesis asks, for a regular behavior given as a transition system A, whether there exists a Petri net (of a particular class) that implements A. This work investigates variants of this decision problem for different implementations and a variety of Petri net classes from the point of view of classical and parameterized complexity. Also investigated is the complexity of the modification techniques of relabeling and edge, event, and state deletion, which aim to make non-implementable transition systems implementable.<eng>
vorgelegt von Ronny Tredup
GutachterInnen: Karsten Wolf (Universität Rostock) ; Robert Lorenz (Universität Augsburg)
Dissertation Universität Rostock 2021
004
004.01
004
54.10
http://purl.uni-rostock.de/rosdok/id00003375
https://doi.org/10.18453/rosdok_id00003375
https://nbn-resolving.org/urn:nbn:de:gbv:28-rosdok_id00003375-6
https://d-nb.info/1293535508/34
Zur Komplexität der Synthese von Petri-Netzen
Rostock, 2021
Druck-Ausgabe
(DE-627)1778209408
Tredup, Ronny, 1983 -
urn:nbn:de:gbv:28-rosdok_id00003375-6
10.18453/rosdok_id00003375
1285538862
rda
DE-627
211118
1777954444
20251226T195741.0
Converted from MARCXML to MODS version 3.8 using MARC21slim2MODS3-8_XSLT1-0.xsl
(Revision 1.174 20250328)
ger