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 …

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 …

We investigate the synthesis problem for ENCL-systems, defined as Elementary Net
Systems extended with context (inhibitor and activator) arcs and explicit event localities …

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

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 …

In this paper we develop a theory for the region-based synthesis of system models given as
place/transition-nets with weighted inhibitor arcs (pti-nets) from sets of scenarios describing …

We investigate the synthesis problem for encl-systems, defined as Elementary Net Systems
extended with context (inhibitor and activator) arcs and explicit event localities. Since co …

We investigate relations between transition graphs and net structures. Whereas for a given
net structure there always exists a reachability graph, the inverse problem to find a net …

Die vorliegende Arbeit behandelt das Problem der Synthese eines Petrinetzes aus einer
Verhaltensbeschreibung eines Systems oder Prozesses in der Form halbgeordneter …