Open AccessPetri Nets as Models of Linear Logic
Author(s) -
Uffe Engberg,
Glynn Winskel
Publication year - 1990
Publication title -
daimi pb
Language(s) - English
Resource type - Journals
eISSN - 2245-9316
pISSN - 0105-8517
DOI - 10.7146/dpb.v19i301.6682
Subject(s) - linear logic , petri net , computer science , programming language , interpretation (philosophy) , linear temporal logic , expressive power , theoretical computer science
The chief purpose of this paper is to appraise the feasibility of Girad'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.