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

Algorithms for Molecular Biology

Volumn 7, Issue 1, 2012, Pages

  Soliman, Sylvain ^a  

^a INRIA   (France)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84861467760     PISSN: None     EISSN: 17487188     Source Type: Journal    
DOI: 10.1186/1748-7188-7-15     Document Type: Article

References (32)

1. Kanehisa M, Goto S. KEGG: Kyoto Encyclopedia of Genes and Genomes. Nucleic Acids Research 2000, 28:27-30. 10.1093/nar/28.1.27, 102409, 10592173.
2. Hucka M, et al. The Systems Biology Markup Language (SBML): A Medium for Representation and Exchange of Biochemical Network Models. Bioinformatics 2003, 19(4):524-531. 10.1093/bioinformatics/btg015, 12611808.
3. Reddy VN, Mavrovouniotis ML, Liebman MN. Petri net representations in metabolic pathways. Proceedings of the 1st International Conference on Intelligent Systems for Molecular Biology (ISMB) 1993, 328-336. AAAI Press, Hunter L, Searls DB, Shavlik JW.
4. Gilbert D, Heiner M, Lehrack S. A Unifying Framework for Modelling and Analysing Biochemical Pathways Using Petri Nets. CMSB'07: Proceedings of the fifth international conference on Computational Methods in Systems Biology, of Lecture Notes in Computer Science 2007, 4695. Edinburgh, Scotland: Springer-Verlag, Calder M, Gilmore S.
5. Grafahrend-Belau E, Schreiber F, Heiner M, Sackmann A, Junker BH, Grunwald S, Speer A, Winder K, Koch I. Modularization of biochemical networks based on a classification of Petri net by T-invariants. BMC Bioinformatics 2008, 9(90).
6. Schuster S, Fell DA, Dandekar T. A general definition of metabolic pathways useful for systematic organization and analysis of complex metabolic networks. Nature Biotechnology 2002, 18:326-332.
7. Chickarmane V, Kholodenkob BN, Sauro HM. Oscillatory dynamics arising from competitive inhibition and multisite phosphorylation. Journal of Theoretical Biology 2007, 244:68-76. 10.1016/j.jtbi.2006.05.013, 16949102.
8. Schoeberl B, Eichler-Jonsson C, Gilles E, Muller G. Computational modeling of the dynamics of the MAP kinase cascade activated by surface and internalized EGF receptors. Nature Biotechnology 2002, 20(4):370-375. 10.1038/nbt0402-370, 11923843.
9. Calzone L, Fages F, Soliman S. BIOCHAM: An Environment for Modeling Biological Systems and Formalizing Experimental Knowledge. Bioinformatics 2006, 22(14):1805-1807. 10.1093/bioinformatics/btl172, 16672256.
10. Fages F, Soliman S, Chabrier-Rivier N. Modelling and Querying Interaction Networks in the Biochemical Abstract Machine BIOCHAM. Journal of Biological Physics and Chemistry 2004, 4(2):64-73.
11. Rohr C, Marwan W, Heiner M. Snoopy - a unifying Petri net framework to investigate biomolecular networks. Bioinformatics 2010, 26(7):974-975. 10.1093/bioinformatics/btq050, 20139470.
12. Colom JM, Silva M. Convex geometry and semiflows in P/T nets. A comparative study of algorithms for computation of minimal P-semiflows. Advances in Petri Nets 1990, of Lecture Notes in Computer Science 1991, 483:79-112. London, UK: Springer-Verlag, Rozenberg G.
13. Vallabhajosyulaa RR, Chickarmane V, Sauro HM. Conservation Analysis of Large Biochemical Networks. Bioinformatics 2005, 22:346-353.
14. von Kamp A, Schuster S. Metatool 5.0: fast and flexible elementary modes analysis. Bioinformatics 2006, 22(15):1930-1931. 10.1093/bioinformatics/btl267, 16731697.
15. Hoops S, Sahle S, Gauges R, Lee C, Pahle J, Simus N, Singhal M, Xu L, Mendes P, Kummer U. COPASI - a COmplex PAthway SImulator. Bioinformatics 2006, 22(24):3067-3074. 10.1093/bioinformatics/btl485, 17032683.
16. de Figueiredo LF, Podhorski A, Rubio A, Kaleta C, Beasley JE, Schuster S, Planes FJ. Computing the shortest elementary flux modes in genome-scale metabolic networks. Bioinformatics 2009, 25(23):3158-3165. 10.1093/bioinformatics/btp564, 19793869.
17. Ciardo G, Mecham G, Paviot-Adet E, Wan M. P-Semiflow Computation with Decision Diagrams. PETRI NETS '09: Proceedings of the 30th International Conference on Applications and Theory of Petri Nets 2009, 143-162. Berlin, Heidelberg: Springer-Verlag.
18. Mackworth AK. Consistency in Networks of Relations. Artifcial Intelligence 1977, 8:99-118.
19. Meseguer P. Constraint satisfaction problems: an overview. AI Communications 1989, 2:3-17.
20. Kumar V. Algorithms for Constraint-Satisfaction Problems: A Survey. AI Magazine 1992, 13:32-44.
21. Law CF, Gwee BH, Chang J. Fast and memory-efficient invariant computation of ordinary Petri nets. IEE Proceedings: Computers and Digital Techniques 2007, 1(5):612-624.
22. Roovers K, Assoian RK. Integrating the MAP kinase signal into the G1 phase cell cycle machinery. BioEssays 2000, 22(9):818-826. 10.1002/1521-1878(200009)22:9<818::AID-BIES7>3.0.CO;2-6, 10944584.
23. Levchenko A, Bruck J, Sternberg PW. Scaffold proteins may biphasically affect the levels of mitogen-activated protein kinase signaling and reduce its threshold properties. PNAS 2000, 97(11):5818-5823. 10.1073/pnas.97.11.5818, 18517, 10823939.
24. Hardy S, Robillard PN. Visualization of the simulation data of biochemical network models: a painted Petri net approach. Proceedings of the SCSC'07 summer computer simulation conference 2007, 802-808. USA: Society for Computer Simulation International, San Diego, CA.
25. Terzer M, Stelling J. Large-scale computation of elementary flux modes with bit pattern trees. Bioinformatics 2008, 24(19):2229-2235. 10.1093/bioinformatics/btn401, 18676417.
26. Graf S, Steffen B, Lüttgen G. Compositional Minimisation of Finite State Systems Using Interface Specifications. Journal of Formal Aspects of Computing 1996, 8(5):607-616.
27. Genrich H. Predicate/transition nets. Advances in Petri nets, of Lecture Notes in Computer Science 1987, 254:207-247. Springer-Verlag, Brauer W, Reisig W, Rozenberg G.
28. Sifakis J. Structural Properties of Petri Nets. Proceedings of MFCS'78, 7th Symposium on the Mathematical Foundations of Computer Science, of Lecture Notes in Computer Science 1978, 64:474-483. Springer-Verlag, Winkowski J.
29. Zevedei-Oancea I, Schuster S. Topological analysis of metabolic networks based on Petri net theory. In Silico Biology 2003, 3(29).
30. Nabli F, Soliman S. Steady-state solution of biochemical systems, beyond S-Systems via T-invariants. CMSB'10: Proceedings of the 8th International Conference on Computational Methods in Systems Biology 2010, 14-22. CoSBi, ACM, Quaglia P.
31. Calzone L, Gelay A, Zinovyev A, Radvanyi F, Barillot E. A Comprehensive Modular Map of Molecular Interactions in RB/E2F Pathway. Molecular Systems Biology 2008, 4(173).
32. Kohn KW. Molecular Interaction Map of the Mammalian Cell Cycle Control and DNA Repair Systems. Molecular Biology of the Cell 1999, 10(8):2703-2734. 25504, 10436023.