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

Algorithm 1

1: procedure  REORDER, )

2:

3:for   to   do

4:if    then

5:return  

6:end if

7:if  for some    then

8:Choose a transition vector ,    so that

9:

10:

11:

12:end if

13:

14:end for

15:return  

16: end procedure