TY  - RPRT
TI  - Petri Net Relaxation for Infeasibility Explanation and Sequential Task Planning
AU  - Nguyen Cong Nhat Le
AU  - John G. Rogers
AU  - Claire N. Bonial
AU  - Neil T. Dantam
PY  - 2026
UR  - https://arxiv.org/abs/2602.22094
ID  - 2602.22094
ER  -