Hickmott, S.; Sardina, S. Optimality Properties of Planning Via Petri Net Unfolding: A Formal Analysis. ICAPS 2009, 19, 170-177.