6 citations · 21 across the 9 of their papers we have counts for
Showing cs.FLShow all
2 papers · 1 filter
cs.FL2021
Synthesis of Pure and Impure Petri nets With Restricted Place-environments: Complexity Issues
Raymond Devillers, Ronny Tredup
Petri net synthesis consists in deciding for a given transition system whether there exists a Petri net whose reachability graph is isomorphic to . Several works examine…
cs.FL2021
Some Basic Techniques allowing Petri Net Synthesis: Complexity and Algorithmic Issues
Raymond Devillers, Ronny Tredup
In Petri net synthesis we ask whether a given transition system can be implemented by a Petri net . Depending on the level of accuracy, there are three ways how can impl…