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.

[1]  Wolfgang Reisig,et al.  Petri Nets , 1985, EATCS Monographs on Theoretical Computer Science.

[2]  Jean-Yves Girard,et al.  Linear Logic , 1987, Theor. Comput. Sci..

[3]  Jean-Yves Girard,et al.  Linear Logic and Lazy Computation , 1987, TAPSOFT, Vol.2.

[4]  Yves Lafont.  The Linear Abstract Machine (Corrigenda) , 1988, Theor. Comput. Sci..

[5]  M. Nivat.  Fiftieth volume of theoretical computer science , 1988 .

[6]  Yves Lafont,et al.  The Linear Abstract Machine , 1988, Theor. Comput. Sci..

[7]  José Meseguer,et al.  From Petri Nets to Linear Logic , 1989, Category Theory and Computer Science.

[8]  K. I. Rosenthal.  A note on Girard quantales , 1990 .

[9]  Narciso Martí-Oliet,et al.  From Petri nets to linear logic , 1989, Mathematical Structures in Computer Science.