On Multi-Robot Path Planning Based on Petri Net Models and LTL specifications.

Sofia Hustiu Cristian Mahulea Marius Kloetzer Jean-Jacques Lesage

Published in: CoRR (2022)

Keyphrases

petri net
robot path planning
reactive systems
stochastic petri net
process model
embedded real time systems
discrete event systems
temporal logic
manufacturing systems
petri net model
fuzzy petri net
colored petri nets
vision system
formal specification
ims ld
concurrent systems