Graphs, Rewriting and Pathway Reconstruction for Rule-Based Models

DOI10.4230/LIPICS.FSTTCS.2012.276MaRDI QIDQ2957506zbMATH OpenOpenAlexFDO

Authors Vincent Danos, Jerome Feret, Walter Fontana, Russell S. Harmer, Jonathan Hayman, Jean Krivine, Chris Thompson-Walsh, Glynn Winskel

Publication date 26 January 2017

Full work available at URL https://hal.archives-ouvertes.fr/hal-00809065

zbMATH Keywords

causalityconcurrencygraph rewritingpathwaysrule-based models

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Biochemistry, molecular biology (92C40)

Recommendations

• Rule-based transformation of graph rewriting rules: towards higher-order graph grammars
• scientific article; zbMATH DE number 177453
• Pattern graph rewrite systems
• Relational graph rewritings
• Graph-rewriting Petri nets
• A declarative approach to graph based modeling
• On graph rewritings
• scientific article; zbMATH DE number 3878382
• Term-Graph Rewriting Via Explicit Paths
• Graph expressions and graph rewritings

Cited in

(27)

• Algebraic graph rewriting with controlled embedding
• A structural approach to graph transformation based on symmetric Petri nets
• Rewriting theory for the life sciences: a unifying theory of CTMC semantics
• Reachability analysis via orthogonal sets of patterns
• Prospects for declarative mathematical modeling of complex biological systems
• Labelled port graph -- a formal structure for models and computations
• Rigid geometric constraints for Kappa models
• An algebraic approach for inferring and using symmetries in rule-based models
• Parallelism in AGREE transformations
• Combinatorial conversion and moment bisimulation for stochastic rewriting systems
• Rule-Based Modelling of Cellular Signalling
• scientific article; zbMATH DE number 1504829 (Why is no real title available?)
• Strategic port graph rewriting: an interactive modelling framework
• Pattern graphs and rule-based models: the semantics of Kappa
• Constraining rule-based dynamics with types
• A knowledge representation meta-model for rule-based modelling of signalling networks
• scientific article; zbMATH DE number 7453087 (Why is no real title available?)
• scientific article; zbMATH DE number 7453970 (Why is no real title available?)
• scientific article; zbMATH DE number 7456054 (Why is no real title available?)
• Efficient reduction of Kappa models by static inspection of the rule-set
• Containment in Rule-Based Models
• Causal unfoldings
• Counters in Kappa: semantics, simulation, and static analysis
• Causal Unfoldings and Disjunctive Causes
• Causal graph dynamics and Kan extensions
• A rule-based modeling approach for studying animal collectives: a case study of juvenile honeybee thermotaxis
• Explaining safety violations in real-time systems

This page was built for publication: Graphs, Rewriting and Pathway Reconstruction for Rule-Based Models

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2957506)