Szymczak, A.; Paszyński, M.; Pardo, D.; Paszyńska, A. Petri Nets Modeling of Dead-End Refinement Problems in a 3D Anisotropic Hp-Adaptive Finite Element Method. Comput. Inform. 2015, 34, 425-457.