Hickmott, Sarah, and Sebastian Sardina. 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-77. https://doi.org/10.1609/icaps.v19i1.13343.