Transformation of Petri net Models by Matrix Operations | Publicación