Optimal multi-robot path planning for cyclic tasks using Petri nets
Peng Lv, Guangqing Luo, Ziyue Ma, Shaoyuan Li, Xiang Yin
Topics & Concepts
ReachabilityPetri netScalabilityRobotComputer scienceMotion planningPath (computing)Theoretical computer scienceState spaceGraphBasis (linear algebra)AlgorithmMathematical optimizationMathematicsArtificial intelligenceProgramming languageStatisticsGeometryDatabasePetri Nets in System ModelingFormal Methods in VerificationModel-Driven Software Engineering Techniques