eprintid: 3433
rev_number: 8
eprint_status: archive
userid: 69
dir: disk0/00/00/34/33
datestamp: 2016-04-13 08:14:47
lastmod: 2016-04-13 08:14:47
status_changed: 2016-04-13 08:14:47
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: Comparing Chemical Reaction Networks:A Categorical and Algorithmic Perspective
ispublished: inpress
subjects: QA75
divisions: CSA
full_text_status: public
pres_type: paper
keywords: chemical reaction networks, bisimulation, model com-parison, ordinary differential equations
abstract: We study chemical reaction networks (CRNs) as a kernel language for concurrency models with semantics based on ordinary differential equations. We investigate the problem of comparing two CRNs,i.e., to  decide  whether  the  trajectories  of  asource CRN  can  be matched  by  a target CRN  under  an  appropriate  choice  of  initial conditions. Using a categorical framework, we extend and relate model-comparison approaches based on structural (syntactic) and on dynamical (semantic) properties of a CRN, proving their equivalence. Then, we provide an algorithm to compare CRNs, running linearly in time with respect to the cardinality of all possible comparisons. Finally, we apply our results to biological models from the literature.
date: 2016
date_type: submitted
publisher: IEEE
event_title: Thirty-First Annual ACM/IEEE Symposium on LOGIC IN COMPUTER SCIENCE (LICS)
event_location: New York, USA
event_dates: July 5-8, 2016
event_type: conference
refereed: TRUE
book_title: Proceedings of the Thirty-First Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
related_url_url: http://lics.rwth-aachen.de/lics16/accepted.html
related_url_type: org
citation:   Cardelli, Luca and Tribastone, Mirco and Tschaikowski, Max and Vandin, Andrea  Comparing Chemical Reaction Networks:A Categorical and Algorithmic Perspective.  In: Thirty-First Annual ACM/IEEE Symposium on LOGIC IN COMPUTER SCIENCE (LICS), July 5-8, 2016, New York, USA       (In Press)   (2016)  
document_url: http://eprints.imtlucca.it/3433/1/lics2016.pdf