Petri nets as models of linear logic
The chief purpose of this paper is to appraise the feasibility of Girard's linear logic as a specification language for parallel processes. To this end we propose an interpretation of linear logic in Petri nets, with respect to which we investigate the expressive power of the logic.
Unable to display preview. Download preview PDF.
- [Asp87]Andrea Asperti. A Logic for Concurrency. manuscript, November 1987.Google Scholar
- [AV88]Samson Abramsky and Steve Vickers. Linear Process Logic. Notes by Steve Vickers, 1988.Google Scholar
- [Bro89a]Carolyn Brown. Relating Petri Nets to Formulae of Linear Logic. Technical Report ECS LFCS 89-87, University of Edinburgh, 1989.Google Scholar
- [Bro89b]Carolyn Brown. Petri Nets as Quantales. Technical Report ECS LFCS 89–96, University of Edinburgh, 1989.Google Scholar
- [GG89]Carl Gunter and Vijay Gehlot. A Proof-Theoretic Operational Semantics for True Concurrency. Preliminary Report, 1989.Google Scholar
- [GL87]Jean-Yves Girard and Yves Lafont. Linear Logic and Lazy Computation. In Proc. TAPSOFT 87 (Pisa), vol. 2, pages 52–66. Springer-Verlag (LNCS 250), 1987.Google Scholar
- [MOM89]Narciso Martí-Oliet and José Meseguer. From Petri Nets to Linear Logic. In Category Theory and Computer Science, Manchester, UK. Springer-Verlag (LNCS 389), 1989.Google Scholar
- [Rei85]Wolfgang Reising. Petri Nets, An Introduction, volume 4 of EATCS Monogaphs on Theoretical Computer Science. Springer-Verlag, 1985.Google Scholar
- [Ros]Kimmo I. Rosenthal. A Note on Girard Quantales. To appaear in: Cah. de Top. et G. D.Google Scholar
- [Sam]G. Sambin. Manuscript reported to us by Per Martin-Löf.Google Scholar
- [Yet]D. Yetter. Quantales and Non-Commutative Linear Logic. (preprint).Google Scholar