Hickmott, S. and Sardina, S. (2009) “Optimality Properties of Planning Via Petri Net Unfolding: A Formal Analysis”, Proceedings of the International Conference on Automated Planning and Scheduling, 19(1), pp. 170-177. doi: 10.1609/icaps.v19i1.13343.