A categorical linear framework for Petri nets
From MaRDI portal
Publication:2508330
DOI10.1006/inco.1995.1150zbMath1096.68677OpenAlexW2114521935MaRDI QIDQ2508330
Publication date: 10 October 2006
Published in: Information and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1006/inco.1995.1150
Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Categorical logic, topoi (03G30) Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30) Proof-theoretic aspects of linear logic and other substructural logics (03F52)
Related Items (4)
Relating State-Based and Process-Based Concurrency through Linear Logic ⋮ Categorical simulations ⋮ Representation and Execution of Petri Nets Using Rewriting Logic as a Unifying Framework ⋮ Relating state-based and process-based concurrency through linear logic (full-version)
This page was built for publication: A categorical linear framework for Petri nets
