eprintid: 3441
rev_number: 7
eprint_status: archive
userid: 69
dir: disk0/00/00/34/41
datestamp: 2016-04-13 09:23:42
lastmod: 2016-04-13 09:23:42
status_changed: 2016-04-13 09:23:42
type: conference_item
metadata_visibility: show
creators_name: Cardelli, Luca
creators_name: Tribastone, Mirco
creators_name: Tschaikowski, Max
creators_name: Vandin, Andrea
creators_id: 
creators_id: mirco.tribastone@imtlucca.it
creators_id: max.tschaikowski@imtlucca.it
creators_id: andrea.vandin@imtlucca.it
title: Forward and Backward Bisimulations for Chemical Reaction Networks
ispublished: pub
subjects: QA75
divisions: CSA
full_text_status: public
pres_type: paper
abstract: We present two quantitative behavioral equivalences over species of a chemical reaction network(CRN) with semantics based on ordinary differential equations.Forward CRN bisimulationiden-tifies a partition where each equivalence class represents the exact sum of the concentrations ofthe species belonging to that class. Backward CRN bisimulationrelates species that have theidentical solutions at all time points when starting from the same initial conditions. Both notionscan be checked using only CRN syntactical information, i.e., by inspection of the set of reactions. We provide a unified algorithm that computes the coarsest refinement up to our bisimulationsin polynomial time. Further, we give algorithms to compute quotient CRNs induced by a bisim-ulation. As an application, we find significant reductions in a number of models of biologicalprocesses from the literature. In two cases we allow the analysis of benchmark models whichwould be otherwise intractable due to their memory requirements.
date: 2015
date_type: published
series: Leibniz International Proceedings in Informatics (LIPIcs)
volume: 42
publisher: LIPICS
place_of_pub: Dagstuhl, Germany
pagerange: 226-239
event_title: 26th International Conference on Concurrency Theory (CONCUR 2015)
event_location: Madrid, Spain
event_dates: September 1–4, 2015
event_type: conference
id_number: 10.4230/LIPIcs.CONCUR.2015.226
refereed: TRUE
isbn: 978-3-939897-91-0
issn: 1868-8969
book_title: Proceedings of the 26th International Conference on Concurrency Theory (CONCUR 2015)
official_url: http://drops.dagstuhl.de/opus/volltexte/2015/5368
citation:   Cardelli, Luca and Tribastone, Mirco and Tschaikowski, Max and Vandin, Andrea  Forward and Backward Bisimulations for Chemical Reaction Networks.  In: 26th International Conference on Concurrency Theory (CONCUR 2015), September 1–4, 2015, Madrid, Spain pp. 226-239. ISSN 1868-8969. ISBN 978-3-939897-91-0.      (2015)  
document_url: http://eprints.imtlucca.it/3441/1/concur2015.pdf