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 de l'École normale supérieure, 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

https://hal.inria.fr/hal-01613603
Contributor : Jérôme Feret <>
Submitted on : Wednesday, October 11, 2017 - 7:44:21 AM
Last modification on : Tuesday, May 4, 2021 - 2:06:02 PM
Long-term archiving on: : Friday, January 12, 2018 - 12:44:07 PM

File

sasb2017_paper_camporesi.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01613603, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

602

Files downloads

247