In this paper we present a survey on methods for the synthesis of Petri nets from behavioral
descriptions given as languages. We consider place/transition Petri nets, elementary Petri …

The research domain of process mining, or more specifically process discovery, aims at
constructing a process model as an abstract representation of an event log. The goal is to …

We investigate the synthesis problem for the Elementary Net Systems with Inhibitor Arcs
(ENI-systems) executed according to the a-priori semantics. We characterise transition …

Abstract Generalized Stochastic Petri Nets (GSPNs) are an established tool for representing
and analyzing concurrency, timing, synchronization, precedence, and priority in processes …

Synthesis of Petri nets from behavioral descriptions has important applications in the design
of systems in different application areas. In this paper we present a survey on the technique …

In this paper, we investigate transition systems of a class of Petri nets suitable for the
modelling and behavioural analysis of globally asynchronous locally synchronous systems …

Automated synthesis from behavioural specifications, such as transition systems, is an
attractive way of constructing correct concurrent systems. In this paper, we investigate the …

Petri nets are used to formally model the behavior of systems. However, when these systems
dynamically change, eg, due to context dependence, modeling gets complex and …

In this paper we present a brief overview of a representative fragment of the theory of
regions. Regions are a powerful tool for the synthesis of concurrent systems from a …

Elementary net systems with inhibitor arcs are a class of fundamental Petri net models with
very simple markings which are sets of places. Their standard semantics is based on …