TY - RPRT TI - Optimal Task and Motion Planning for Autonomous Systems Using Petri Nets AU - Zhou He AU - Shilong Yuan AU - Ning Ran AU - Dimitri Lefebvre PY - 2025 UR - https://arxiv.org/abs/2505.12503 ID - 2505.12503 ER -