6 citations · 8 across the 4 of their papers we have counts for
Showing cs.DSShow all
2 papers · 1 filter
cs.DS2020★ 1 cited
On the Petri Nets with a Single Shared Place and Beyond
Thomas Hujsa, Bernard Berthomieu, Silvano Dal Zilio +1
Petri nets proved useful to describe various real-world systems, but many of their properties are very hard to check. To alleviate this difficulty, subclasses are often considered.…
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…