In this paper we present two algorithms that effectively synthesize a finite place/transition
Petri net (p/t-net) froma finite set of labeled partial orders (a finite partial language). The …

Petriflow language and Netgrif Application Builder Page 1 Petriflow language and Netgrif
Application Builder Gabriel Juhás1,2, Tomáš Kováčik1,2, Jakub Kovář1,2, Martin Kranec1,2 and …

Netgrif Application Engine Page 1 Netgrif Application Engine Gabriel Juhás1,2, Tomáš
Kováčik1,2, Jakub Kovář1,2, Martin Kranec1,2 and Ľuboš Petrovič2 1Faculty of Electrical …

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 …

In this paper, we show that it can be tested in polynomial time as to whether a scenario is an
execution of a Petri net. This holds for a wide variety of Petri net classes, ranging from …

In the first part of this paper we extend the semantical framework proposed in [22] for
process and causality semantics of Petri nets by an additional aim, firstly mentioned in the …

Interval order semantics of Petri nets with inhibitor arc is discussed. Both the operational
semantics and process, ie concurrent history, semantics are defined and their mutual …

In this paper, we present a prototype of a module of the Petriflow application engine that
stores process nets for each single case of a Petriflow model, whose underlying process …

In this paper we introduce executions of place/transition Petri nets with weighted inhibitor
arcs (PTI-net) as enabled labeled stratified order structures (LSOs) and present a polynomial …

Offshore wind farms are undergoing unprecedented development as EU member states
focus on complying with 2020 renewable energy mandates. However, wind farm site …