Representing Petri Nets in an Action Based Formalism | Publicación