17 citations · 34 across the 4 of their papers we have counts for
Showing cs.FLShow all
2 papers · 1 filter
cs.FL2026
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…
cs.FL2026
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…