FROM PETRI NETS TO LINEAR LOGIC THROUGH CATEGORIES: A SURVEY

DOI10.1142/S0129054191000182MaRDI QIDQ4016733zbMATH OpenFDO

Authors Narciso Martí-Oliet, José Meseguer

Publication date 16 January 1993

Published in International Journal of Foundations of Computer Science (Search for Journal in Brave)

zbMATH Keywords

concurrencylinear logicPetri netscategorical modelsquantaleslinear categoriescancellative linear logic

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Categorical logic, topoi (03G30) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• From Petri nets to linear logic
• From Petri nets to linear logic
• scientific article; zbMATH DE number 17706
• Petri nets, Horn programs, linear logic and vector games
• Publication:4490754

Cited in

(13)

• Rewriting on cyclic structures: Equivalence between the operational and the categorical description
• scientific article; zbMATH DE number 1231699 (Why is no real title available?)
• scientific article; zbMATH DE number 1231543 (Why is no real title available?)
• Petri Nets Are Dioids
• scientific article; zbMATH DE number 17706 (Why is no real title available?)
• Completeness results for linear logic on Petri nets
• Representation and Execution of Petri Nets Using Rewriting Logic as a Unifying Framework
• Process versus unfolding semantics for Place/Transition Petri nets
• scientific article; zbMATH DE number 1479638 (Why is no real title available?)
• Some issues about Petri net application to manufacturing and process supervisory control
• Semantic data modelling using linear logic
• From Petri nets to linear logic
• Petri nets are dioids: a new algebraic foundation for non-deterministic net theory

This page was built for publication: FROM PETRI NETS TO LINEAR LOGIC THROUGH CATEGORIES: A SURVEY

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4016733)