Toggle Main Menu Toggle Search

Open Access padlockePrints

Towards Quantitative Verification of Reaction Systems

Lookup NU author(s): Artur Meski, Professor Maciej KoutnyORCiD



This work is licensed under a Creative Commons Attribution-NonCommercial 4.0 International License (CC BY-NC 4.0).


Reaction systems are a formal model for computational processes inspired by the functioning of the living cell. The key feature of this model is that its behaviour is determined by the interactions of biochemical reactions of the living cell, and these interactions are based on the mechanisms of facilitation and inhibition. The formal treatment of reaction systems is qualitative as there is no direct representation of the number of molecules involved in biochemical reactions. This paper introduces reaction systems with discrete concentrations which are an extension of reaction systems allowing for quantitative modelling. We demonstrate that although reaction systems with discrete concentrations are semantically equivalent to the original qualitative reaction systems, they provide much more succinct representations in terms of the number of molecules being used. We then define the problem of reachability for reaction systems with discrete concentrations, and provide its suitable encoding in smt, together with a verification method (bounded model checking) for reachability properties. Experimental results show that verifying reaction systems with discrete concentrations instead of the corresponding reaction systems is more efficient.

Publication metadata

Author(s): Meski A, Koutny M, Penczek P

Editor(s): Amos, M; Condon, A;

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: 15th International Conference, UCNC 2016

Year of Conference: 2016

Pages: 142-154

Online publication date: 15/06/2016

Acceptance date: 25/04/2016

Date deposited: 06/05/2016

ISSN: 0302-9743

Publisher: Springer


DOI: 10.1007/978-3-319-41312-9_12

Library holdings: Search Newcastle University Library for this item

Series Title: Lecture Notes in Computer Science

ISBN: 9783319413112