Using alternated sums to express the occurrence number of extended patterns in site-graphs - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2017

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

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.
Fichier principal
Vignette du fichier
sasb2017_paper_camporesi.pdf (401.14 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-01613603 , version 1 (11-10-2017)

Identifiers

  • HAL Id : hal-01613603 , version 1

Cite

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⟩
515 View
60 Download

Share

Gmail Facebook X LinkedIn More