mycoreobjectrosdok_disshab_0000002635rosdok_disshab_0000002635rosdokdisshabrosdok_derivate_00001067122023-08-08T10:13:32.142Z2021-11-18T12:45:48.990ZadministratoreditorMSpublished1rosdok_derivate_0000106712truetruederivate_types:fulltextVolltextfulltextwf_edit_epub wf_register_epubstate:publishedstate:publishedveröffentlichtpublishedrosdok/id000033751777954444Oau2021-11-182023-08-05T19:18:43ZrdaConverted from PICA to MODS using Pica2Mods XSLT Transformer 2.7 [SCM: "0c0e7a3c226a4a0cbcbec39b493c3c5257339ab8" "v2.7" "2023-08-04T00:00:00+0200"] with mode 'DEFAULT'.DissertationHochschulschriftZur Komplexität der Synthese von Petri-NetzenPetri-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.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.RonnyTredup1983 -VerfasserInaut1246043041KarstenWolf1967 -AkademischeR BetreuerIndgs124773052Universität RostockRobertLorenzAkademischeR BetreuerIndgsUniversität Augsburg38329-6Universität Rostock1419 -Grad-verleihende Institutiondgg10085032-7Universität RostockFakultät für Informatik und Elektrotechnik2004 -Grad-verleihende Institutiondgghttp://purl.uni-rostock.de/rosdok/id00003375urn:nbn:de:gbv:28-rosdok_id00003375-610.18453/rosdok_id00003375004 InformatikFakultät für Informatik und Elektrotechnikalle Rechte vorbehaltenNutzungsrechte erteiltLizenz Metadaten: CC0frei zugänglich (Open Access)de2021Universität RostockRostockmonographic202120212021Universitätsbibliothek RostockRostock2021Universitätsbibliothek Rostockhttp://purl.uni-rostock.de/rosdok/id00003375Karsten Wolf (Universität Rostock) ; Robert Lorenz (Universität Augsburg)[{"affil":"Universität Rostock","name":"Wolf, Karsten"},{"affil":"Universität Augsburg","name":"Lorenz, Robert"}]vorgelegt von Ronny TredupPetri-NetzUniversität RostockWolf, KarstenUniversität AugsburgLorenz, Robertdoctype:epubdoctype:epubDokumenttypDocument typedoctype:epub.dissertationdoctype:epub.dissertationDissertationdoctoral thesisdiniPublType:doctoralThesis diniPublType2022:PhDThesis XMetaDissPlusThesisLevel:thesis.doctoralinfo:eu-repo/semantics/doctoralThesisdocumentnatureOfContent:ppn_105825778natureOfContent:ppn_105825778HochschulschriftdiniPublType2022:DoctoralThesisdiniPublType2022:DoctoralThesisDissertation oder HabilitationDoctoral thesisDRIVERdiniPublType2022:PhDThesisdiniPublType2022:PhDThesisDissertationPhD thesisKDSF (Pu34)XMetaDissPlusThesisLevel:thesis.doctoralXMetaDissPlusThesisLevel:thesis.doctoralDoktorarbeitdoctoral thesisSDNB:004SDNB:004004 Informatik004 Data processing Computer sciencesinstitution:unirostockinstitution:unirostockUniversität RostockUniversity of RostockUniversität RostockUniversität RostockUni.Rostockhttp://d-nb.info/gnd/38329-6institution:unirostock.iefinstitution:unirostock.iefFakultät für Informatik und ElektrotechnikFaculty of Computer Science and Electrical EngineeringUniversität Rostock. Fakultät für Informatik und ElektrotechnikFakultät für Informatik<br />und ElektrotechnikUni.Rostock.Fakultaet.IEFhttp://d-nb.info/gnd/10085032-7licenseinfo:worklicenseinfo:workWerkworklicenseinfo:work.rightsreservedlicenseinfo:work.rightsreservedalle Rechte vorbehaltenall rights reserved/creativecommons/r/reserved/0.9/88x31.png[DE-28]Urheberrechtsschutz 1.0$gRights Statements$uhttp://rightsstatements.org/vocab/InC/1.0/http://rightsstatements.org/vocab/InC/1.0/http://rightsstatements.org/vocab/InC/1.0/licenseinfo:depositlicenseinfo:depositVeröffentlichungsgenehmigungpermission to storelicenseinfo:deposit.rightsgrantedlicenseinfo:deposit.rightsgrantedNutzungsrechte erteiltrights grantedlicenseinfo:metadatalicenseinfo:metadataLizenzen für Metadatenlicenseinfo:metadata.cc0licenseinfo:metadata.cc0Lizenz Metadaten: CC0license metadata: CC0/creativecommons/p/zero/1.0/88x31.pnghttps://creativecommons.org/publicdomain/zero/1.0/accesscondition:openaccessaccesscondition:openaccessfrei zugänglich (Open Access)open accesshttp://purl.org/coar/access_right/c_abf2OAfreeinfo:eu-repo/semantics/openAccess[DE-28]Open Access$gControlled Vocabulary for Access Rights$uhttp://purl.org/coar/access_right/c_abf2rfc5646:derfc5646:deDeutschGermangerdeuZur Komplexität der Synthese von Petri-NetzenZur Komplexität der Synthese von Petri-Netzengnd:1246043041gnd:124773052gnd:38329-6gnd:10085032-7gnd:1246043041gnd:124773052gnd:38329-6gnd:10085032-7rosdok_disshab_0000002635-d2074783e54gnd:1246043041Ronny TredupRonny Treduprosdok_disshab_0000002635-d2074783e68gnd:124773052Karsten WolfKarsten Wolfrosdok_disshab_0000002635-d2074783e83Robert LorenzRobert Lorenzrosdok_disshab_0000002635-d2074783e95gnd:38329-6Universität RostockUniversität Rostockrosdok_disshab_0000002635-d2074783e106gnd:10085032-7Universität Rostock Fakultät für Informatik und ElektrotechnikUniversität Rostock Fakultät für Informatik und ElektrotechnikRonny TredupKarsten WolfRobert LorenzUniversität RostockUniversität Rostock Fakultät für Informatik und ElektrotechnikRonny TredupKarsten WolfRobert LorenzUniversität RostockUniversität Rostock Fakultät für Informatik und ElektrotechnikRonny TredupRostockUniversität Rostockepub.dissertationhttp://purl.uni-rostock.de/rosdok/id00003375urn:nbn:de:gbv:28-rosdok_id00003375-610.18453/rosdok_id00003375Petri-NetzPetri-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.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.20212021Karsten Wolf (Universität Rostock) ; Robert Lorenz (Universität Augsburg)[{"affil":"Universität Rostock","name":"Wolf, Karsten"},{"affil":"Universität Augsburg","name":"Lorenz, Robert"}]vorgelegt von Ronny Tredupepub.dissertation1 Tredup_Dissertation_2021.pdf 2755105 b85e0942f784d4ac5eb2fdd10cf232f0 rosdok/id000033751777954444Oau2021-11-182023-08-05T19:18:43ZrdaConverted from PICA to MODS using Pica2Mods XSLT Transformer 2.7 [SCM: "0c0e7a3c226a4a0cbcbec39b493c3c5257339ab8" "v2.7" "2023-08-04T00:00:00+0200"] with mode 'DEFAULT'.DissertationHochschulschriftZur Komplexität der Synthese von Petri-NetzenPetri-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.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.RonnyTredup1983 -VerfasserInaut1246043041KarstenWolf1967 -AkademischeR BetreuerIndgs124773052Universität RostockRobertLorenzAkademischeR BetreuerIndgsUniversität Augsburg38329-6Universität Rostock1419 -Grad-verleihende Institutiondgg10085032-7Universität RostockFakultät für Informatik und Elektrotechnik2004 -Grad-verleihende Institutiondgghttp://purl.uni-rostock.de/rosdok/id00003375urn:nbn:de:gbv:28-rosdok_id00003375-610.18453/rosdok_id00003375004 InformatikFakultät für Informatik und Elektrotechnikalle Rechte vorbehaltenNutzungsrechte erteiltLizenz Metadaten: CC0frei zugänglich (Open Access)de2021Universität RostockRostockmonographic202120212021Universitätsbibliothek RostockRostock2021Universitätsbibliothek Rostockhttp://purl.uni-rostock.de/rosdok/id00003375Karsten Wolf (Universität Rostock) ; Robert Lorenz (Universität Augsburg)[{"affil":"Universität Rostock","name":"Wolf, Karsten"},{"affil":"Universität Augsburg","name":"Lorenz, Robert"}]vorgelegt von Ronny TredupPetri-Netz Universität Rostock Wolf, Karsten Universität Augsburg Lorenz, Robert 2021-11-18T12:45:48.990Z 2023-08-08T10:13:32.142Z 2023-08-18T10:13:32.147Z {"identifier":"rosdok/id00003375","type":"local_id","additional":"","service":"MCRLocalID","created":"2021-11-18T12:45:49.019Z","registered":"2021-11-18T12:45:49.019Z"} editorMS {"identifier":"urn:nbn:de:gbv:28-rosdok_id00003375-6","type":"dnbUrn","additional":"","service":"RosDokURN","created":"2021-11-18T12:45:49.028Z","registered":"2021-11-18T15:45:37.010Z"} administratorfulltextfile/rosdok_disshab_0000002635/rosdok_derivate_0000106712/Tredup_Dissertation_2021.pdfZur Komplexität der Synthese von Petri-NetzenZur Komplexität der Synthese von Petri-Netzengnd:1246043041gnd:124773052gnd:38329-6gnd:10085032-7gnd:1246043041gnd:124773052gnd:38329-6gnd:10085032-7rosdok_disshab_0000002635-d2074783e54gnd:1246043041Ronny TredupRonny Treduprosdok_disshab_0000002635-d2074783e68gnd:124773052Karsten WolfKarsten Wolfrosdok_disshab_0000002635-d2074783e83Robert LorenzRobert Lorenzrosdok_disshab_0000002635-d2074783e95gnd:38329-6Universität RostockUniversität Rostockrosdok_disshab_0000002635-d2074783e106gnd:10085032-7Universität Rostock Fakultät für Informatik und ElektrotechnikUniversität Rostock Fakultät für Informatik und ElektrotechnikRonny TredupKarsten WolfRobert LorenzUniversität RostockUniversität Rostock Fakultät für Informatik und ElektrotechnikRonny TredupKarsten WolfRobert LorenzUniversität RostockUniversität Rostock Fakultät für Informatik und ElektrotechnikRonny TredupRostockUniversität Rostockepub.dissertationhttp://purl.uni-rostock.de/rosdok/id00003375urn:nbn:de:gbv:28-rosdok_id00003375-610.18453/rosdok_id00003375Petri-NetzPetri-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.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.20212021Karsten Wolf (Universität Rostock) ; Robert Lorenz (Universität Augsburg)[{"affil":"Universität Rostock","name":"Wolf, Karsten"},{"affil":"Universität Augsburg","name":"Lorenz, Robert"}]vorgelegt von Ronny Tredup[xslt]Saxonrosdok/id00003375https://purl.uni-rostock.de/rosdok/id00003375177795444410.18453/rosdok_id00003375urn:nbn:de:gbv:28-rosdok_id00003375-6Ronny TredupTredup RonnyZur Komplexität der Synthese von Petri-NetzenDissertationdoctoral thesisUniversität Rostock, 2021Petri-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…Ronny TredupZur Komplexität der Synthese von Petri-NetzenUniversitätsbibliothek Rostockhttp://purl.uni-rostock.de/rosdok/id00003375RonnyTredup1983 -VerfasserInaut1246043041KarstenWolf1967 -AkademischeR BetreuerIndgs124773052Universität RostockRobertLorenzAkademischeR BetreuerIndgsUniversität Augsburg38329-6Universität Rostock1419 -Grad-verleihende Institutiondgg10085032-7Universität RostockFakultät für Informatik und Elektrotechnik2004 -Grad-verleihende Institutiondgg[purl]http://purl.uni-rostock.de/rosdok/id00003375[urn]urn:nbn:de:gbv:28-rosdok_id00003375-6[doi]10.18453/rosdok_id00003375open_access20212021epoch:21th_centuryrfc5646:dedoctype:epub.dissertationaccesscondition:openaccessSDNB:004institution:unirostock.iefstate:published