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