From Petri Nets to Linear Logic

Narciso Martí-Oliet, José Meseguer. From Petri Nets to Linear Logic. Mathematical Structures in Computer Science, 1(1):69-101, 1991.

Abstract

Abstract is missing.