Formal Reduction for Rule-based Models

DOI10.1016/j.entcs.2011.09.014zbMath1342.68076OpenAlexW2050872582WikidataQ113318233 ScholiaQ113318233MaRDI QIDQ5739349

Ferdinanda Camporesi, Jerome Feret

Publication date: 15 July 2016

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2011.09.014

zbMATH Keywords

model reductionabstract interpretationflow of informationrules-based modeling

Mathematics Subject Classification ID

Biochemistry, molecular biology (92C40) Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items

Differential Bisimulation for a Markovian Process Algebra ⋮ Formal lumping of polynomial differential equations through approximate equivalences ⋮ Exact hierarchical reductions of dynamical models via linear transformations ⋮ An algebraic approach for inferring and using symmetries in rule-based models ⋮ Symbolic computation of differential equivalences ⋮ Quantitative Abstractions for Collective Adaptive Systems

Uses Software

• BioNetGen

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Lumpability abstractions of rule-based systems
• Combining Model Reductions
• Rule-Based Modelling of Cellular Signalling
• Grammar Analysis and Parsing by Abstract Interpretation
• Intrinsic information carriers in combinatorial dynamical systems