Research Article
Reachability Analysis of Low-Order Discrete State Reaction Networks Obeying Conservation Laws
| | the set of real numbers | | the set of integer numbers | | the set of non-negative integer numbers | | the set of -dimensional vectors over the set | | a zero matrix of dimension | | a matrix of dimension for which all the entries are equal to 1 | | the set of -dimensional binary vectors (all the entries are equal to 0 or 1) | | the set of -dimensional vectors composed of the entries | | the th row of the matrix | | for , for | | for , for | | an ordered sequence of states | | an ordered sequence of reaction vectors | | an ordered sequence of species | | an ordered sequence of complexes |
|
|