Petri net analysis using boolean manipulation | Publicación