New Method for Generation and Storage of Safe TPN State Space Based on Binary Decision Diagram: Application to Flight Rescheduling Problem