Structural Methods to Improve the Symbolic Analysis of Petri Nets | Publicación