SeQuaiA: A Scalable Tool for Semi-Quantitative Analysis of Chemical Reaction Networks

ČEŠKA, Milan; Calvin CHAU a Jan KŘETÍNSKÝ. SeQuaiA: A Scalable Tool for Semi-Quantitative Analysis of Chemical Reaction Networks. In Computer Aided Verification - 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part I. Springer, 2020, s. 653-666. ISBN 9783030532871. Dostupné z: https://doi.org/10.1007/978-3-030-53288-8_32.

Základní údaje

Originální název

SeQuaiA: A Scalable Tool for Semi-Quantitative Analysis of Chemical Reaction Networks

Autoři

ČEŠKA, Milan; Calvin CHAU a Jan KŘETÍNSKÝ

Vydání

Computer Aided Verification - 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21-24, 2020, Proceedings, Part I, od s. 653-666, 14 s. 2020

Nakladatel

Springer

---

Další údaje

Typ výsledku

Stať ve sborníku

Označené pro přenos do RIV

Ne

Organizační jednotka

Fakulta informatiky

ISBN

9783030532871

ISSN

DOI

https://doi.org/10.1007/978-3-030-53288-8_32

---

Anotace

V originále

Chemical reaction networks (CRNs) play a fundamental role in analysis and design of biochemical systems. They induce continuous-time stochastic systems, whose analysis is a computationally intensive task. We present a tool that implements the recently proposed semi-quantitative analysis of CRN. Compared to the proposed theory, the tool implements the analysis so that it is more flexible and more precise. Further, its GUI offers a wide range of visualization procedures that facilitate the interpretation of the analysis results as well as guidance to refine the analysis. Finally, we define and implement a new notion of “mean” simulations, summarizing the typical behaviours of the system in a way directly comparable to standard simulations produced by other tools.