In: Pitt, D.H.; et al.: Lecture Notes in Computer Science, Vol. 389; Category Theory and Computer Science, pages 313-340. Springer-Verlag, 1989.
Also as: Report SRI--CSL--89--4R2, Project 6729. Menlo Park, CA, USA: SRI International, Computer Science Laboratory, March 1989. Revised June 1989; revised Dec. 1989.
Abstract: In this paper, the authors establish a systematic correspondence between Petri nets, linear logic theories, and linear categories. Such a correspondence sheds new light on the ralationships between linear logic and concurrency, and on how both areas are related to category theory. Categories are here viewed as concurrent systems whose objects are states, and whose morphisms are transitions.
Keywords: linear logic; linear category.