Output details
11 - Computer Science and Informatics
University of Edinburgh
Return to search
Output 0 of 0 in the submission
Output title
Rule-Based Modelling, Symmetries, Refinements
Type
E - Conference contribution
Name of conference/published proceedings
Formal Methods in Systems Biology : First International Workshop, FMSB 2008, Cambridge, UK, June 4-5, 2008. Proceedings
Volume number
5054
Issue number
-
First page of article
103
ISSN of proceedings
0302-9743
Year of publication
2008
Number of additional authors
4
Additional information
<28> Originality: This paper introduces the theory of refinement in rule-based modelling of combinatorial networks of biological agents.
Significance: Rule refinement is a important way to structure complex rule-based models and their parametrization. The paper is phrased in terms of categories of extensions, and is reusable with across many variants of stochastic graph rewriting. A particular case is the ground refinement which is equivalent to a (possibly infinite) Petri net.
Rigour: The paper sets up the mathematical foundation and establishes refinement soundness as a strong form of stochastic bisimilarity.
Interdisciplinary
Yes
Cross-referral requested
-
Research group
F - Laboratory for Foundations of Computer Science
Citation count
11
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-