Nets with mana: a framework for chemical reaction modelling

DOI10.1007/978-3-030-78946-6_10zbMath1492.68095arXiv2101.06234OpenAlexW3175798954MaRDI QIDQ2117265

Fabrizio Genovese, Daniele Palombi, Fosco Loregiàn

Publication date: 21 March 2022

Full work available at URL: https://arxiv.org/abs/2101.06234

Mathematics Subject Classification ID

Classical flows, reactions, etc. in chemistry (92E20) Biochemistry, molecular biology (92C40) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Monoidal categories, symmetric monoidal categories (18M05)

Uses Software

• idris-ct

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Petri nets are monoids
• Organizational invariance and metabolic closure: analysis in terms of \((M, R)\) systems
• Universal Petri net
• Monoidal Functors, Species and Hopf Algebras
• Executions in (Semi-)Integer Petri Nets are Compact Closed Categories
• Petri nets based on Lawvere theories
• (Co)end Calculus
• Introduction to bicategories
• Network Models from Petri Nets with Catalysts
• On the category of Petri net computations
• A Categorical Semantics for Guarded Petri Nets

This page was built for publication: Nets with mana: a framework for chemical reaction modelling