Optimality Properties of Planning Via Petri Net Unfolding: A Formal Analysis

Open in new window