LFCS Series, Report ECS-LFCS-89-96. University of Edinburgh, UK, Laboratory for Foundations of Computer Science, 1989.
Abstract: The work presented here was motivated by the desire to understand more fully the connection between Peteri nets and linear logic. It is well-known that evolution in Petri nets corresponds to linear proof. The author shows that quantales are models of linear logic. This makes it possible to interpret a large fragment of linear logic using the behaviour of Petri nets.
Keywords: quantale; linear logic.