S. Hickmott and S. Sardina, “Optimality Properties of Planning Via Petri Net Unfolding: A Formal Analysis”, ICAPS, vol. 19, no. 1, pp. 170-177, Oct. 2009.