In: Proceedings of the 10th International Conference on Application and Theory of Petri Nets, 1989, Bonn, Germany, pages 174-191. 1989.
Also as: Extended version: Report MS--CIS--89--68, Logic & Computation 17. Philadelphia, PA, USA: University of Pennsylvania, School of Engineering and Applied Science, Department of Computer and Information Science, October 1989.
Abstract: This report is intended to describe and motivate a relationship between a class of nets and the fragment of linear logic built from the tensor connective. In this fragment of linear logic a net may be represented as a theory and a computation on a net as a proof. A rigorous translation is described and a soundness and completeness theorem is stated.