Research Article
Reachability Analysis of Low-Order Discrete State Reaction Networks Obeying Conservation Laws
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 |
|