Nets with mana: a framework for chemical reaction modelling

DOI10.1007/978-3-030-78946-6_10MaRDI QIDQ2117265zbMATH OpenOpenAlexFDO

Authors 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

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

Abstract: We use categorical methods to define a new flavor of Petri nets where transitions can only fire a limited number of times, specified by a quantity that we call mana. We do so with chemistry in mind, looking at ways of modelling the behavior of chemical reactions that depend on enzymes to work. We prove that such nets can be either obtained as a result of a comonadic construction, or by enriching them with extra information encoded into a functor. We then use a well-established categorical result to prove that the two constructions are equivalent, and generalize them to the case where the firing of some transitions can "regenerate" the mana of others. This allows us to represent the action of catalysts and also of biochemical processes where the byproducts of some chemical reaction are exactly the enzymes that another reaction needs to work.

Recommendations

• A compositional framework for reaction networks
• Synthesizing and tuning chemical reaction networks with specified behaviours
• A network dynamics approach to chemical reaction networks
• Deep abstractions of chemical reaction networks
• Constructing and visualizing chemical reaction networks from pi-calculus models
• On design and analysis of chemical reaction network algorithms
• Abstraction-based segmental simulation of chemical reaction networks
• On quantitative comparison of chemical reaction network models

Cites work

• scientific article; zbMATH DE number 2125657 (Why is no real title available?)
• scientific article; zbMATH DE number 46995 (Why is no real title available?)
• scientific article; zbMATH DE number 1086716 (Why is no real title available?)
• (Co)end Calculus
• A categorical semantics for guarded Petri nets
• Executions in (semi-)integer Petri nets are compact closed categories
• Introduction to bicategories
• Monoidal functors, species and Hopf algebras
• Network models from Petri nets with catalysts
• On the category of Petri net computations
• Organizational invariance and metabolic closure: analysis in terms of \((M, R)\) systems
• Petri nets are monoids
• Petri nets based on Lawvere theories
• The span construction
• Universal Petri net

Cited in

(3)

• A compositional framework for reaction networks
• A categorical semantics for hierarchical Petri nets
• Network models from Petri nets with catalysts

Describes a project that uses

Uses Software

• idris-ct

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

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