A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf
.
Formal Quantitative Analysis of Reaction Networks Using Chemical Organisation Theory
[chapter]
2016
Lecture Notes in Computer Science
Chemical organisation theory is a framework developed to simplify the analysis of long-term behaviour of chemical systems. An organisation is a set of objects which are closed and self-maintaining. In this paper, we build on these ideas to develop novel techniques for formal quantitative analysis of chemical reaction networks, using discrete stochastic models represented as continuous-time Markov chains. We propose methods to identify organisations, to study quantitative properties regarding
doi:10.1007/978-3-319-45177-0_15
fatcat:cn4nivol4zdbnk2n6hczzlngmy