Petri Net Relaxation for Infeasibility Explanation and Sequential Task Planning

Nguyen Cong Nhat Le, John G. Rogers, Claire N. Bonial +1

Plans often change due to changes in the situation or our understanding of the situation. Sometimes, a feasible plan may not even exist, and identifying such infeasibilities is use…