From petri nets to linear logic | Publicación