Attractor Equivalence: An Observational Semantics for Reaction Networks

DOI10.1007/978-3-319-10398-3_7MaRDI QIDQ5500402zbMATH OpenOpenAlexFDO

Authors Guillaume Madelaine, Cédric Lhoussaine, Joachim Niehren

Publication date 6 August 2015

Published in Formal Methods in Macro-Biology (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-10398-3_7

zbMATH Keywords

observational semanticsPetri netsreaction networks

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Biochemistry, molecular biology (92C40) Systems biology, networks (92C42)

Recommendations

• Relating bisimulations with attractors in Boolean network models
• Compositional semantics and behavioural equivalences for reaction systems with restriction
• An observer for mass-action chemical reaction networks
• Forward and backward bisimulations for chemical reaction networks
• Dynamical equivalence and linear conjugacy of chemical reaction networks: new results and methods
• A compositional framework for reaction networks
• scientific article; zbMATH DE number 6165461
• Syntactic Markovian bisimulation for chemical reaction networks
• Relating Attractors and Singular Steady States in the Logical Analysis of Bioregulatory Networks

Cited in

(2)

• Abstract simulation of reaction networks via Boolean networks
• Core SBML and its formal semantics

This page was built for publication: Attractor Equivalence: An Observational Semantics for Reaction Networks

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