Petri nets as models of linear logic. (English) Zbl 0757.03005

Engberg, Uffe; Winskel, Glynn

CAAP’90, Proc. 15th Colloq., Copenhagen/Denmark 1990, Lect. Notes Comput. Sci. 431, 147-161 (1990).

Summary: [For the entire collection see Zbl 0745.00027.]
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.

MSC:

03B20	Subsystems of classical logic (including intuitionistic logic)
68Q85	Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
03F05	Cut-elimination and normal-form theorems

Keywords:

linear logic as a specification language for parallel processes; expressive power

Citations:

Zbl 0745.00027