Transactions on Petri Nets and Other Models of Concurrency XIV 1st ed. 2019 Berlin, Heidelberg : Springer, 2019 (2019), Seite 172-191 1 Online-Ressource (XVII, 255 p. 525 illus., 42 illus. in color)
Das Problem der Petrinetzsynthese wurde schon weit untersucht und passt in viele Kontexte. Gleichzeitig scheint die Frage nach einer Charakterisierung von synthetisierbaren Zustandsräumen weniger entwickelt zu sein. Die vorliegende Arbeit ist ein Versuch ein besseres Verständnis von letzterem zu erlangen, während ersteres als Hauptziel im Auge behalten wird. Zu den Hauptresultaten der Arbeit gehört eine Graph-theoretische Charakterisierung von synthetisierbaren linearen Transitionssystemen und Kreisen. Auf dieser Charakterisierung basierende Synthesealgorithmen zeigen eine bessere Laufzeit im Vergleich zur Regionen-basierten Synthese. Eine Charakterisierung der Klasse aller minimal-unlösbaren Wörter wird in Form eines erweiterten regulären Ausdrucks vorgeschlagen. Die Zustandsräume von Petrinetzen über der binären Transitionsmenge erwiesen sich als geometrisch konvexe Hüllen. Ein Algorithmus zur Überapproximation einer endlichen Sprache durch eine Petrinetzsprache wird dargestellt. <dt.>
The problem of Petri net synthesis is widely studied in the literature, set in a range of contexts, while the question for characterisation of synthesisable state spaces seems to be less investigated and developed. The current work is an attempt to put more insight into the latter, keeping in mind the former as the main goal. Among the main results of the work, a graph-theoretical characterisation of synthesisable linear transition systems and cycles is presented. Synthesis algorithms, based on the characterisation, demonstrate a better runtime in comparison to the region based synthesis. For the class of minimal unsolvable binary sequences, a characterisation is suggested in the form of extended regular expressions. The state spaces of Petri nets over the binary transition set are proven to be geometrically convex hulls. An algorithm for over-approximating a finite language by a Petri net language is presented. <engl.>
Workshop on Algorithms & Theories for the Analysis of Event Data (2018 : Bratislava) Workshop on Algorithms & Theories for the Analysis of Event Data (ATAED'2018) Aachen, Germany : RWTH Aachen, 2018 (2018), Seite 75-90 1 Online-Ressource
Transactions on Petri Nets and Other Models of Concurrency XI Berlin, Heidelberg : Springer, 2016 (2016), Seite 137-159 Online-Ressource (XVIII, 319 p. 103 illus, online resource)
Application and Theory of Petri Nets and Concurrency Cham : Springer, 2016 (2016), Seite 39-58 Online-Ressource (XVI, 345 p. 114 illus, online resource)
Seite 2 von 3
