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...
Main Author: | |
---|---|
Format: | Article |
Language: | English |
Published: |
BMC
2012-05-01
|
Series: | Algorithms for Molecular Biology |
Online Access: | http://www.almob.org/content/7/1/15 |