zbMATH — the first resource for mathematics

Petri nets as models of linear logic. (English) Zbl 0757.03005
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.

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