Symbolic Computation of Petri Nets | Publicación