Rule-Based Modelling, Symmetries, Refinements

DOI10.1007/978-3-540-68413-8_8zbMath1348.92070MaRDI 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 net; cellular signalling; signalling system

Mathematics Subject Classification ID

05C90: Applications of graph theory

92C40: Biochemistry, molecular biology

92C42: Systems biology, networks

Related Items

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