From Petri nets to linear logic | Publicación