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.

• Type: Conference
• Year: 1990
• Where: CAAP
• Authors: Uffe Engberg, Glynn Winskel
• Keywords: CAAP 1990, Chief Purpose, Girard’s Linear Logic, Linear Logic, Theoretical Computer Science