Dependency graphs and mass conservation in reaction systems

DOI10.1016/J.TCS.2015.02.014MaRDI QIDQ496028zbMATH OpenOpenAlexFDO

Authors Sepinoud Azimi, Cristian Gratie, Sergiu Ivanov, Ion Petre

Publication date 16 September 2015

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.tcs.2015.02.014

zbMATH Keywords

simulatormass conservationmodel checkingreaction systemconservation dependency graphconserved set

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Complexity of model checking for reaction systems
• Steady states of constrained reaction systems
• Facilitation in reaction systems
• Reaction systems
• A tour of reaction systems

Cites work

• scientific article; zbMATH DE number 3906496 (Why is no real title available?)
• A tour of reaction systems
• An excursion in reaction systems: from computer science to biology
• Cycles and global attractors of reaction systems
• Fixed points and attractors of reaction systems
• Functional constructions between reaction systems and propositional logic
• Functions and sequences generated by reaction systems
• Functions defined by reaction systems
• Reaction System Models for the Heat Shock Response
• Reaction systems

Cited in

(12)

• Minimal reaction systems revisited and reaction system rank
• Simulation of reaction systems by the strictly minimal ones
• Ranks of compositionally closed minimal reaction systems
• Multi-Stability, Limit Cycles, and Period-Doubling Bifurcation with Reaction Systems
• Controllability of reaction systems
• Model checking temporal properties of reaction systems
• Ranks of strictly minimal reaction systems induced by permutations
• A logical and graphical framework for reaction systems
• Steady states of constrained reaction systems
• scientific article; zbMATH DE number 7603548 (Why is no real title available?)
• Graphical conditions for rate independence in chemical reaction networks
• Towards quantitative verification of reaction systems

This page was built for publication: Dependency graphs and mass conservation in reaction systems

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