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...

Descripción completa

Detalles Bibliográficos
Autor principal: Soliman, Sylvain
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