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
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


Files produced by the author(s)




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⟩



Record views


Files downloads