Publikation

Titel:

„A First Glimpse at Petri Net Regions“

AutorInnen:

Robin Bergenthum
Jakub Kovář

Kategorie:

Konferenzen und Workshops

erschienen in:

Proceedings of ATAED 2022 co-located with PETRI NETS 2022, CEUR Workshop Proceedings 3167: 60-68 (2022)

Abstract:

Synthesis is automatically producing a process model from specified behavior. If the desired process model is a Petri net, synthesis is tackled by so-called region theory. Region-based synthesis has been extensively explored for cases where the specification language is a transition system, a language or even a partially ordered language. Although the ideas of region-based synthesis are the same for every kind of specification, every type of specification has its own region definition and uses different representations of the set of all regions to synthesize a finite result. Up to this point, state-based and language-based regions are just two different concepts.

In this paper, we introduce a new region definition we call Petri net regions and reason that every state-based and every language-based region is a Petri net region as well. Thus, there is no need to distinguish language-based and state-based regions anymore. With the help of Petri net regions every concept from one of the older region definitions can be directly applied to the other. Using Petri net regions, we introduce an implementation of a synthesis algorithm that handles state-based as well as language-based input. Furthermore, this algorithm can synthesize a Petri net from a set of labeled Petri nets.

Download:

PDF