Petri Nets for Detecting a 3D Deadlock Problem in Hp-adaptive Finite Element Simulations | Publicación