Hickmott, S., & 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), 170-177. https://doi.org/10.1609/icaps.v19i1.13343