Cargando…
Invariants and Other Structural Properties of Biochemical Models as a Constraint Satisfaction Problem
BACKGROUND: 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, an...
Autor principal: | |
---|---|
Formato: | Online Artículo Texto |
Lenguaje: | English |
Publicado: |
BioMed Central
2012
|
Materias: | |
Acceso en línea: | https://www.ncbi.nlm.nih.gov/pmc/articles/PMC3386890/ https://www.ncbi.nlm.nih.gov/pubmed/22642806 http://dx.doi.org/10.1186/1748-7188-7-15 |