Reachability Analysis of Low-Order Discrete State Reaction Networks Obeying Conservation Laws

Table 1

Notations.

	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