---
_id: '3719'
abstract:
- lang: eng
  text: The induction of a signaling pathway is characterized by transient complex
    formation and mutual posttranslational modification of proteins. To faithfully
    capture this combinatorial process in a math- ematical model is an important challenge
    in systems biology. Exploiting the limited context on which most binding and modification
    events are conditioned, attempts have been made to reduce the com- binatorial
    complexity by quotienting the reachable set of molecular species, into species
    aggregates while preserving the deterministic semantics of the thermodynamic limit.
    Recently we proposed a quotienting that also preserves the stochastic semantics
    and that is complete in the sense that the semantics of individual species can
    be recovered from the aggregate semantics. In this paper we prove that this quotienting
    yields a sufficient condition for weak lumpability and that it gives rise to a
    backward Markov bisimulation between the original and aggregated transition system.
    We illustrate the framework on a case study of the EGF/insulin receptor crosstalk.
acknowledgement: Jérôme Feret’s contribution was partially supported by the ABSTRACTCELL
  ANR-Chair of Excellence. Heinz Koeppl acknowledges the support from the Swiss National
  Science Foundation, grant no. 200020-117975/1. Tatjana Petrov acknowledges the support
  from SystemsX.ch, the Swiss Initiative in Systems Biology.
alternative_title:
- EPTCS
arxiv: 1
author:
- first_name: Jérôme
  full_name: Feret, Jérôme
  last_name: Feret
- first_name: Thomas A
  full_name: Henzinger, Thomas A
  id: 40876CD8-F248-11E8-B48F-1D18A9856A87
  last_name: Henzinger
  orcid: 0000−0002−2985−7724
- first_name: Heinz
  full_name: Koeppl, Heinz
  last_name: Koeppl
- first_name: Tatjana
  full_name: Petrov, Tatjana
  id: 3D5811FC-F248-11E8-B48F-1D18A9856A87
  last_name: Petrov
  orcid: 0000-0002-9041-0905
citation:
  ama: 'Feret J, Henzinger TA, Koeppl H, Petrov T. Lumpability abstractions of rule-based
    systems. In: Vol 40. Open Publishing Association; 2010:142-161.'
  apa: 'Feret, J., Henzinger, T. A., Koeppl, H., & Petrov, T. (2010). Lumpability
    abstractions of rule-based systems (Vol. 40, pp. 142–161). Presented at the MECBIC:
    Membrane Computing and Biologically Inspired Process Calculi, Jena, Germany: Open
    Publishing Association.'
  chicago: Feret, Jérôme, Thomas A Henzinger, Heinz Koeppl, and Tatjana Petrov. “Lumpability
    Abstractions of Rule-Based Systems,” 40:142–61. Open Publishing Association, 2010.
  ieee: 'J. Feret, T. A. Henzinger, H. Koeppl, and T. Petrov, “Lumpability abstractions
    of rule-based systems,” presented at the MECBIC: Membrane Computing and Biologically
    Inspired Process Calculi, Jena, Germany, 2010, vol. 40, pp. 142–161.'
  ista: 'Feret J, Henzinger TA, Koeppl H, Petrov T. 2010. Lumpability abstractions
    of rule-based systems. MECBIC: Membrane Computing and Biologically Inspired Process
    Calculi, EPTCS, vol. 40, 142–161.'
  mla: Feret, Jérôme, et al. <i>Lumpability Abstractions of Rule-Based Systems</i>.
    Vol. 40, Open Publishing Association, 2010, pp. 142–61.
  short: J. Feret, T.A. Henzinger, H. Koeppl, T. Petrov, in:, Open Publishing Association,
    2010, pp. 142–161.
conference:
  end_date: 2010-08-23
  location: Jena, Germany
  name: 'MECBIC: Membrane Computing and Biologically Inspired Process Calculi'
  start_date: 2010-08-23
date_created: 2018-12-11T12:04:47Z
date_published: 2010-10-30T00:00:00Z
date_updated: 2026-06-18T18:39:27Z
day: '30'
ddc:
- '570'
department:
- _id: ToHe
- _id: CaGu
external_id:
  arxiv:
  - '1011.0496'
file:
- access_level: open_access
  checksum: eaaba991a86fff37606b0eb5196878e8
  content_type: application/pdf
  creator: kschuh
  date_created: 2019-01-31T12:09:09Z
  date_updated: 2020-07-14T12:46:14Z
  file_id: '5904'
  file_name: Lumpability_abstractions_of_rule-based_systems.pdf
  file_size: 907155
  relation: main_file
file_date_updated: 2020-07-14T12:46:14Z
has_accepted_license: '1'
intvolume: '        40'
language:
- iso: eng
month: '10'
oa: 1
oa_version: Submitted Version
page: 142-161
publication_status: published
publisher: Open Publishing Association
publist_id: '2511'
quality_controlled: '1'
related_material:
  record:
  - id: '3168'
    relation: later_version
    status: public
scopus_import: 1
status: public
title: Lumpability abstractions of rule-based systems
type: conference
user_id: 2DF688A6-F248-11E8-B48F-1D18A9856A87
volume: 40
year: '2010'
...