Dependency graphs and mass conservation in reaction systems

DOI10.1016/J.TCS.2015.02.014zbMath1329.68106OpenAlexW1972648361MaRDI QIDQ496028

Ion Petre, Sepinoud Azimi, Sergiu Ivanov, Cristian Gratie

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)

Related Items (10)

Steady states of constrained reaction systems ⋮ Unnamed Item ⋮ Multi-Stability, Limit Cycles, and Period-Doubling Bifurcation with Reaction Systems ⋮ Simulation of reaction systems by the strictly minimal ones ⋮ 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 ⋮ Towards Quantitative Verification of Reaction Systems ⋮ Minimal Reaction Systems Revisited and Reaction System Rank

Cites Work

• Unnamed Item
• Unnamed Item
• An excursion in reaction systems: from computer science to biology
• Functions and sequences generated by reaction systems
• FUNCTIONAL CONSTRUCTIONS BETWEEN REACTION SYSTEMS AND PROPOSITIONAL LOGIC
• A TOUR OF REACTION SYSTEMS
• FUNCTIONS DEFINED BY REACTION SYSTEMS
• Fixed Points and Attractors of Reaction Systems
• Reaction System Models for the Heat Shock Response
• Cycles and Global Attractors of Reaction Systems

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