Szymczak, A., Paszynski, M., Pardo, D., & Paszynska, A. (2015). Petri Nets Modeling of Dead-End Refinement Problems in a 3D Anisotropic hp. Computing and Informatics, 34(2), 425–457. https://cai.type.sk/content/2015/2/petri-nets-modeling-of-dead-end-refinement-problems-in-a-3d-anisotropic-hp/