Petri Net Representations in Metabolic Pathways
Proceedings of the 1st International Conference on Intelligent Systems for Molecular Biology
Conservation analysis of large biochemical networks
Bioinformatics
Metatool 5.0: fast and flexible elementary modes analysis
Bioinformatics
COPASI---a COmplex PAthway SImulator
Bioinformatics
Abstract interpretation and types for systems biology
Theoretical Computer Science
Computing chemical organizations in biological networks
Bioinformatics
Snoopy: a tool to design and animate/simulate graph-based formalisms
Proceedings of the 1st international conference on Simulation tools and techniques for communications, networks and systems & workshops
P-Semiflow Computation with Decision Diagrams
PETRI NETS '09 Proceedings of the 30th International Conference on Applications and Theory of Petri Nets
Using chemical organization theory for model checking
Bioinformatics
Bioinformatics
A unifying framework for modelling and analysing biochemical pathways using Petri nets
CMSB'07 Proceedings of the 2007 international conference on Computational methods in systems biology
Hi-index | 0.00 |
In recent years Systems Biology has become a rich field of study, trying to encompass all the information that has become available thanks to the new high-throughput techniques of biologists, in order to build detailed models of complex systems. Some models have been growing bigger and bigger, but lacking most of precise kinetic data. Other models remain of reasonable size, but have an even larger uncertainty about parameter values. Unfortunately, very few analyses allow to extract information about the dynamics of these models when pure symbolic computations fails. This article presents a way to generalize well-known results about the steady-state analysis of some symbolic Ordinary Differential Equations systems by taking into account the structure of the reaction network. The structural study of the underlying Petri net, usually used mostly for metabolic flux analysis, will provide classes where the computation of some steady states of the system is possible, even though the original symbolic model did not form an S-system and was not solvable by state-of-the-art symbolic computation software. This new method is then illustrated on some models of the Biomodels repository and is followed by a brief discussion.