Skip to Main content Skip to Navigation
Conference papers

An Algebraic Approach for Inferring and Using Symmetries in Rule-based Models

Jérôme Feret 1
1 ANTIQUE - Analyse Statique par Interprétation Abstraite
DI-ENS - Département d'informatique de l'École normale supérieure, Inria Paris-Rocquencourt
Abstract : Symmetries arise naturally in rule-based models, and under various forms. Besides automorphisms between site graphs, which are usually built within the semantics, symmetries can take the form of pairs of sites having the same capabilities of interactions, of some protein variants behaving exactly the same way, or of some linear, planar, or 3D molecular complexes which could be seen modulo permutations of their axis and/or mirror-image symmetries. In this paper, we propose a unifying handling of symmetries in Kappa. We follow an algebraic approach, that is based on the single pushout semantics of Kappa. We model classes of symmetries as finite groups of transformations between site graphs, which are compatible with the notion of embedding (that is to say that it is always possible to restrict a symmetry that is applied with the image of an embedding to the domain of this embedding) and we provide some assumptions that ensure that symmetries are compatible with pushouts. Then, we characterise when a set of rules is symmetric with respect to a group of symmetries and, in such a case, we give sufficient conditions so that this group of symmetries induces a forward bisimulation and/or a backward bisimulation over the population semantics.
Complete list of metadata

Cited literature [22 references]  Display  Hide  Download

https://hal.inria.fr/hal-01098556
Contributor : Jérôme Feret <>
Submitted on : Friday, October 19, 2018 - 8:05:02 AM
Last modification on : Tuesday, May 4, 2021 - 2:06:02 PM
Long-term archiving on: : Sunday, January 20, 2019 - 12:51:10 PM

File

sasb2014.pdf
Files produced by the author(s)

Identifiers

Collections

Citation

Jérôme Feret. An Algebraic Approach for Inferring and Using Symmetries in Rule-based Models. Static Analysis and Systems Biology, Heinz Koeppl; Loïc Paulevé, Sep 2014, Munich, Germany. pp.20, ⟨10.1016/j.entcs.2015.06.010⟩. ⟨hal-01098556⟩

Share

Metrics

Record views

309

Files downloads

342