Optimal Path Planning for Multi-Robot Systems Using Petri Nets - He, Z.; Yuan, S.; Ran, N.; Lefebvre, D. (IEEE Robotics and Automation Letters, Robotics and Automation Letters, IEEE, IEEE Robot. Autom. Lett., 2025)