17 citations · 34 across the 4 of their papers we have counts for
4 papers
Well-Formed Free-Choice Petri Nets Revisited
Petr Jancar, Eike Best, Raymond Devillers +1
The theory of free-choice Petri nets is an established field, initiated in the 1970s by F. Commoner and M. Hack. We revisit well-formed free-choice nets (those admitting markings t…
Persistent Permutability in Choice Petri Nets
Eike Best, Raymond Devillers
Persistence is a strong, global, behavioural property of a Petri net, meaning that no activity can disable a different activity. Persistent permutability is a weaker property, pert…
Analysis of Petri Nets and Transition Systems
Eike Best, Uli Schlachter
This paper describes a stand-alone, no-frills tool supporting the analysis of (labelled) place/transition Petri nets and the synthesis of labelled transition systems into Petri net…
On the Decidability of Non Interference over Unbounded Petri Nets
Eike Best, Philippe Darondeau, Roberto Gorrieri
Non-interference, in transitive or intransitive form, is defined here over unbounded (Place/Transition) Petri nets. The definitions are adaptations of similar, well-accepted defini…