Algebraic Structures in Interpreted Petri nets | Publicación