From Petri nets to linear logic

DOI10.1017/S0960129500000062zbMath0746.03057OpenAlexW2180774571MaRDI QIDQ4713398

Narciso Martí-Oliet, José Meseguer

Publication date: 25 June 1992

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0960129500000062

zbMATH Keywords

Petri netslinear logicconcurrencytransfer principle

Mathematics Subject Classification ID

Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Categorical logic, topoi (03G30) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15)

Related Items (15)

\(*\)-autonomous categories of bimodules ⋮ Higher categories, strings, cubes and simplex equations ⋮ THE LOGIC OF RESOURCES AND CAPABILITIES ⋮ Categorical shape theory as a formal language for pattern recognition? ⋮ Debits and Credits in Petri Nets and Linear Logic ⋮ May I borrow your logic? (Transporting logical structures along maps) ⋮ A logical view of composition ⋮ Relating State-Based and Process-Based Concurrency through Linear Logic ⋮ Representation and Execution of Petri Nets Using Rewriting Logic as a Unifying Framework ⋮ A categorical approach to lattice-valued fuzzy automata ⋮ Unnamed Item ⋮ Relating state-based and process-based concurrency through linear logic (full-version) ⋮ Phase semantics and Petri net interpretation for resource-sensitive strong negation ⋮ Proof-search in type-theoretic languages: An introduction ⋮ On linear logic planning and concurrency

Cites Work

• Linear logic
• *-autonomous categories. With an appendix by Po-Hsiang Chu
• Petri nets are monoids
• The linear abstract machine
• System modelling with high-level Petri nets
• Quantales and (noncommutative) linear logic
• Adjointness in Foundations
• Deductive systems and categories

This page was built for publication: From Petri nets to linear logic