9 citations · 22 across the 10 of their papers we have counts for
Showing 2021Show all
3 papers · 1 filter
cs.FL2021
Articulations and Products of Transition Systems and their Applications to Petri Net Synthesis
Raymond Devillers
In order to speed up the synthesis of Petri nets from labelled transition systems, a divide and conquer strategy consists in defining decompositions of labelled transition systems,…
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…