2013
DOI: 10.1007/s00285-013-0686-2
|View full text |Cite
|
Sign up to set email alerts
|

Dynamical properties of Discrete Reaction Networks

Abstract: Reaction networks are commonly used to model the dynamics of populations subject to transformations that follow an imposed stoichiometry. This paper focuses on the efficient characterisation of dynamical properties of Discrete Reaction Networks (DRNs). DRNs can be seen as modeling the underlying discrete nondeterministic transitions of stochastic models of reaction networks. In that sense, a proof of non-reachability in a given DRN has immediate implications for any concrete stochastic model based on that DRN,… Show more

Help me understand this report
View preprint versions

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
1
1
1

Citation Types

1
45
0

Year Published

2015
2015
2022
2022

Publication Types

Select...
6
2

Relationship

1
7

Authors

Journals

citations
Cited by 37 publications
(46 citation statements)
references
References 15 publications
1
45
0
Order By: Relevance
“…, d either e i ∈ R or −e i ∈ R, have a single endorsed set for x sufficiently large. In practice, one may find the endorsed sets by picking x ∈ R and adding states by a backtracking algorithm [38]. Verification of span Z Ξ = Z d can be done by calculation of the Hermite normal form [38].…”
Section: The State Spacementioning
confidence: 99%
“…, d either e i ∈ R or −e i ∈ R, have a single endorsed set for x sufficiently large. In practice, one may find the endorsed sets by picking x ∈ R and adding states by a backtracking algorithm [38]. Verification of span Z Ξ = Z d can be done by calculation of the Hermite normal form [38].…”
Section: The State Spacementioning
confidence: 99%
“…We compare both results in detail in Section 4. While we focus in this paper on recurrent configurations of CRNs, we mention that the related concept of recurrent CRN has been investigated in [14].…”
Section: Introductionmentioning
confidence: 99%
“…. , r 1/α − 1}, which follows directly from the definition of the restriction (70); the tail bound (60); and the fact that the stationary equations (51)-(52) with x < r 1/α − 1 only involve states inside of the truncation. From the definition of the polytope (71), we can show that the bounds of the stationary solution in Theorem 8 (i) are recovered by optimising over P r , as stated in the following theorem.…”
Section: Reformulation Of the Bounds As Optimisationsmentioning
confidence: 99%