6 citations · 8 across the 3 of their papers we have counts for
3 papers
Dynamic exploration of multi-agent systems with timed periodic tasks
Johan Arcile, Raymond Devillers, Hanna Klaudel
We formalise and study multi-agent timed models MAPTs (Multi-Agent with timed Periodic Tasks), where each agent is associated to a regular timed schema upon which all possibles act…
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…
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…