Attractor Equivalence: An Observational Semantics for Reaction Networks

DOI10.1007/978-3-319-10398-3_7zbMath1402.92204OpenAlexW171934612MaRDI QIDQ5500402

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

Petri netsreaction networksobservational semantics

Mathematics Subject Classification ID

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

Related Items (2)

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

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