Skip to Main content Skip to Navigation
Conference papers

Using alternated sums to express the occurrence number of extended patterns in site-graphs

Ferdinanda Camporesi 1 Jérôme Feret 1 
1 ANTIQUE - Analyse Statique par Interprétation Abstraite
DI-ENS - Département d'informatique - ENS Paris, Inria de Paris
Abstract : Site-graph rewriting languages as Kappa or BNGL supply a convenient way to describe models of signalling pathways. Unlike classical reaction networks, they emphasise on the biochemical structure of proteins. We use patterns to formalise properties about bio-molecular species. Intentionally, a pattern is a part of a species, but extensionally it denotes the multi-set of the species containing this pattern (with the multiplicity). Thus reasoning on patterns allows to handle symbolically arbitrarily big (if not infinite) multi-sets of species. This is a key point to design fast simulation algorithms or model reduction schemes. In this paper, we introduce the notion of extended patterns. Each extended pattern is made of a classical pattern and of a set of potential bonds between pairs of sites. Extended patterns have positive (when at least one of the potential bonds is realised) and negative (when none is realised) instances. They are important to express the consumption and the production of patterns by the rules that may break cycles in bio-molecular species by side-effects. We show that the number of positive (resp. negative) instances of extended patterns may be expressed as alternated sums of the number of occurrences of classical patterns.
Document type :
Conference papers
Complete list of metadata

Cited literature [16 references]  Display  Hide  Download
Contributor : Jérôme Feret Connect in order to contact the contributor
Submitted on : Wednesday, October 11, 2017 - 7:44:21 AM
Last modification on : Wednesday, June 8, 2022 - 12:50:03 PM
Long-term archiving on: : Friday, January 12, 2018 - 12:44:07 PM


Files produced by the author(s)


  • HAL Id : hal-01613603, version 1



Ferdinanda Camporesi, Jérôme Feret. Using alternated sums to express the occurrence number of extended patterns in site-graphs. SASB 2017 - The Eighth International Workshop on Static Analysis for Systems Biology, Aug 2017, New York, United States. pp.18. ⟨hal-01613603⟩



Record views


Files downloads