Proving the absence of unbounded polymers in rule-based models

DOI10.1016/j.entcs.2020.06.003zbMath1458.92027OpenAlexW3080862861WikidataQ113317328 ScholiaQ113317328MaRDI QIDQ2229134

Aurélie Faure de Pebeyre, Pierre Boutillier, Jerome Feret

Publication date: 22 February 2021

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

zbMATH Keywords

polymersstatic analysisstrongly connected componentsrule-based modelling

Mathematics Subject Classification ID

Applications of graph theory (05C90) Biochemistry, molecular biology (92C40)

Uses Software

• BioNetGen

Cites Work

• Unnamed Item
• Formal molecular biology
• Reachability analysis via orthogonal sets of patterns
• Rule-Based Modelling of Cellular Signalling
• Constraining rule-based dynamics with types
• Abstract Interpretation of Cellular Signalling Networks
• Depth-First Search and Linear Graph Algorithms

This page was built for publication: Proving the absence of unbounded polymers in rule-based models