@misc{indiciaee8b4799e54da,
  title = {Optimal Task and Motion Planning for Autonomous Systems Using Petri Nets},
  author = {Zhou He and Shilong Yuan and Ning Ran and Dimitri Lefebvre},
  year = {2025},
  url = {https://arxiv.org/abs/2505.12503},
  note = {Source identifier: 2505.12503}
}