TY - JOUR AU - Soliman, Sylvain PY - 2012 DA - 2012/05/29 TI - Invariants and Other Structural Properties of Biochemical Models as a Constraint Satisfaction Problem JO - Algorithms for Molecular Biology SP - 15 VL - 7 IS - 1 AB - We present a way to compute the minimal semi-positive invariants of a Petri net representing a biological reaction system, as resolution of a Constraint Satisfaction Problem. The use of Petri nets to manipulate Systems Biology models and make available a variety of tools is quite old, and recently analyses based on invariant computation for biological models have become more and more frequent, for instance in the context of module decomposition. SN - 1748-7188 UR - https://doi.org/10.1186/1748-7188-7-15 DO - 10.1186/1748-7188-7-15 ID - Soliman2012 ER -