Petri Net Relaxation for Infeasibility Explanation and Sequential Task Planning. - Nguyen Cong Nhat Le; John G. Rogers; Claire N. Bonial; Neil T. Dantam (CoRR, 2026)