2 citations · 3 across the 2 of their papers we have counts for
2 papers
cs.RO2022★ 1 cited
On Multi-Robot Path Planning Based on Petri Net Models and LTL specifications
Sofia Hustiu, Cristian Mahulea, Marius Kloetzer +1
This work considers the path planning problem for a team of identical robots evolving in a known environment. The robots should satisfy a global specification given as a Linear Tem…
eess.SY2020★ 2 cited
On Liveness Enforcement of Distributed Petri Net Systems
Daniel Clavel, Cristian Mahulea, Manuel Silva
This paper considers the liveness enforcement problem in a class of Petri nets (PNs) modeling distributed systems called Synchronized Sequential Processes (SSP). This class of PNs…