On the category of Petri net computations
From MaRDI portal
Publication:5096741
DOI10.1007/3-540-59293-8_205zbMATH Open1496.68245OpenAlexW1514802384MaRDI QIDQ5096741FDOQ5096741
Authors: Vladimiro Sassone
Publication date: 18 August 2022
Published in: TAPSOFT '95: Theory and Practice of Software Development (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/3-540-59293-8_205
Recommendations
Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Monoidal categories, symmetric monoidal categories (18M05)
Cites Work
- Petri nets, event structures and domains. I
- Title not available (Why is that?)
- The non-sequential behaviour of Petri nets
- Title not available (Why is that?)
- Sequential and concurrent behaviour in Petri net theory
- Petri nets are monoids
- Petri nets, algebras, morphisms, and compositionality
- Title not available (Why is that?)
- Title not available (Why is that?)
Cited In (14)
- Executions in (semi-)integer Petri nets are compact closed categories
- A categorical semantics for guarded Petri nets
- Nets with mana: a framework for chemical reaction modelling
- Relaxed models for rewriting logic
- A categorical semantics for bounded Petri nets
- Petri nets based on Lawvere theories
- Title not available (Why is that?)
- Title not available (Why is that?)
- Process versus unfolding semantics for Place/Transition Petri nets
- A categorical semantics for hierarchical Petri nets
- Petri Nets, Discrete Physics, and Distributed Quantum Computation
- Associative composition of components with double-sided interfaces
- A compositional framework for reaction networks
- An axiomatization of the algebra of Petri net concatenable processes
This page was built for publication: On the category of Petri net computations
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5096741)