Rule-Based Modelling, Symmetries, Refinements

DOI10.1007/978-3-540-68413-8_8zbMath1348.92070OpenAlexW1892851289MaRDI QIDQ3506871

Russell S. Harmer, Walter Fontana, Vincent Danos, Jerome Feret, Jean Krivine

Publication date: 17 June 2008

Published in: Formal Methods in Systems Biology (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-68413-8_8

zbMATH Keywords

Petri netcellular signallingsignalling system

Mathematics Subject Classification ID

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

Related Items

Reachability analysis via orthogonal sets of patterns ⋮ Chromar, a rule-based language of parameterised objects ⋮ A model of sequential branching in hierarchical cell fate determination ⋮ Unnamed Item ⋮ Rule-based programming for integrative biological modeling. Application to the modeling of the \(\lambda\) phage genetic switch ⋮ Computational modelling of the kinetic tile assembly model using a rule-based approach ⋮ Chromar, a language of parameterised agents ⋮ Solving moment hierarchies for chemical reaction networks ⋮ Lumpability abstractions of rule-based systems ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Rule-based epidemic models ⋮ Equilibrium and termination II: the case of Petri nets ⋮ Stochastic Bigraphs ⋮ How liquid is biological signalling? ⋮ Sustainability of RNA-interference in rule based modelling ⋮ An algebraic approach for inferring and using symmetries in rule-based models ⋮ Rewriting theory for the life sciences: a unifying theory of CTMC semantics ⋮ Generalizing Gillespie's direct method to enable network-free simulations

This page was built for publication: Rule-Based Modelling, Symmetries, Refinements