Multi-robot Motion Planning under MITL Specifications based on Time Petri Nets.

Sofia Hustiu Dimos V. Dimarogonas Cristian Mahulea Marius Kloetzer

Published in: ECC (2023)

Keyphrases

petri net
state machines
concurrent systems
reactive systems
embedded real time systems
manufacturing systems
discrete event systems
petri net model
colored petri nets
fuzzy petri net
stochastic petri net
ims ld
process model
programmable logic controller
distributed systems
discrete dynamical systems