Invariants and Other Structural Properties of Biochemical Models as a Constraint Satisfaction Problem

<p>Abstract</p> <p>Background</p> <p>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...

Full description

Bibliographic Details
Main Author: Soliman Sylvain
Format: Article
Language:English
Published: BMC 2012-05-01
Series:Algorithms for Molecular Biology
Online Access:http://www.almob.org/content/7/1/15