6 citations · 12 across the 5 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
cs.FL2019★ 6 cited
Synthesis of Weighted Marked Graphs from Constrained Labelled Transition Systems: A Geometric Approach
Raymond Devillers, Evgeny Erofeev, Thomas Hujsa
Recent studies investigated the problems of analysing Petri nets and synthesising them from labelled transition systems (LTS) with two labels (transitions) only. In this paper, we…
cs.DS2019★ 1 cited
Efficient Synthesis of Weighted Marked Graphs with Circular Reachability Graph, and Beyond
Raymond Devillers, Evgeny Erofeev, Thomas Hujsa
In previous studies, several methods have been developed to synthesise Petri nets from labelled transition systems (LTS), often with structural constraints on the net and on the LT…