Return to Article Details Optimality Properties of Planning Via Petri Net Unfolding: A Formal Analysis Download Download PDF