Petri Net Relaxation for Infeasibility Explanation and Sequential Task Planning | ScienceToStartup | ScienceToStartup