9 citations · 22 across the 10 of their papers we have counts for
1 paper · 2 filters
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…