{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,9]],"date-time":"2026-01-09T12:19:27Z","timestamp":1767961167326,"version":"3.49.0"},"reference-count":53,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2008,2,8]],"date-time":"2008-02-08T00:00:00Z","timestamp":1202428800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/2.0"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["BMC Bioinformatics"],"published-print":{"date-parts":[[2008,12]]},"DOI":"10.1186\/1471-2105-9-90","type":"journal-article","created":{"date-parts":[[2008,2,8]],"date-time":"2008-02-08T19:13:37Z","timestamp":1202498017000},"source":"Crossref","is-referenced-by-count":58,"title":["Modularization of biochemical networks based on classification of Petri net t-invariants"],"prefix":"10.1186","volume":"9","author":[{"given":"Eva","family":"Grafahrend-Belau","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Falk","family":"Schreiber","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Monika","family":"Heiner","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrea","family":"Sackmann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bj\u00f6rn H","family":"Junker","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stefanie","family":"Grunwald","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Astrid","family":"Speer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Katja","family":"Winder","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ina","family":"Koch","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2008,2,8]]},"reference":[{"issue":"10","key":"2075_CR1","doi-asserted-by":"publisher","first-page":"5528","DOI":"10.1073\/pnas.97.10.5528","volume":"97","author":"JS Edwards","year":"2000","unstructured":"Edwards JS, Palsson BO: The Escherichia coli MG1655 in silico metabolic genotype: its definition, characteristics, and capabilities. Proc Natl Acad Sci USA 2000, 97(10):5528\u20135533.","journal-title":"Proc Natl Acad Sci USA"},{"key":"2075_CR2","doi-asserted-by":"publisher","first-page":"4582","DOI":"10.1128\/JB.184.16.4582-4593.2002","volume":"184","author":"CH Schilling","year":"2002","unstructured":"Schilling CH, Covert MW, Famili I, Church GM, Edwards JS, Palsson BO: Genome-scale metabolic model of Helicobacter pylori 26695. Journal of Bacteriology 2002, 184: 4582\u20134593.","journal-title":"Journal of Bacteriology"},{"key":"2075_CR3","first-page":"101","volume-title":"Proceedings of the Second Gauss Symposium, M\u00fcnchen","author":"S Schuster","year":"1993","unstructured":"Schuster S, Hilgetag C, Schuster R: Determining elementary modes of functioning in biochemical reaction networks at steady state. Proceedings of the Second Gauss Symposium, M\u00fcnchen 1993, 101\u2013114."},{"key":"2075_CR4","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1006\/jtbi.2000.1073","volume":"203","author":"CH Schilling","year":"2000","unstructured":"Schilling CH, Letscher D, Palsson BO: Theory for the systemic definition of metabolic pathways and their use in interpreting metabolic function from a pathway-oriented view. Journal of Theoretical Biology 2000, 203: 229\u2013248.","journal-title":"Journal of Theoretical Biology"},{"key":"2075_CR5","volume-title":"Berichte der GMD","author":"K Lautenbach","year":"1973","unstructured":"Lautenbach K: Exact conditions of liveliness for a class of Petri nets (in German). In Berichte der GMD. 82, Sankt Augustin: Ges f Mathematik u Datenverarbeitung; 1973."},{"issue":"20","key":"2075_CR6","doi-asserted-by":"publisher","first-page":"5287","DOI":"10.1111\/j.1742-4658.2005.04924.x","volume":"272","author":"S Schuster","year":"2005","unstructured":"Schuster S, Keanov D: Adenine and adenosine salvage pathways in erythrocytes and the role of S-adenosylhomocysteine hydrolase \u2013 A theoretical study using elementary flux modes. FEBS Journal 2005, 272(20):5287\u20135290.","journal-title":"FEBS Journal"},{"key":"2075_CR7","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1016\/S0022-5193(03)00237-6","volume":"225","author":"ND Price","year":"2003","unstructured":"Price ND, Reed JL, Papin JA, Wiback SJ, Palsson BO: Network-based analysis of metabolic regulation in the human red blood cell. Journal of Theoretical Biology 2003, 225: 185\u2013194.","journal-title":"Journal of Theoretical Biology"},{"key":"2075_CR8","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.biosystems.2004.03.003","volume":"75","author":"M Heiner","year":"2004","unstructured":"Heiner M, Koch I, Will J: Model validation of biological pathways using Petri nets-demonstrated for apoptosis. BioSystems 2004, 75: 1\u20133.","journal-title":"BioSystems"},{"issue":"3","key":"2075_CR9","first-page":"389","volume":"3","author":"H Matsuno","year":"2003","unstructured":"Matsuno H, Tanaka Y, Aoshima H, Doi A, Matsui M, Miyano S: Biopathways representation and simulation on hybrid functional Petri net. In Silico Biology 2003, 3(3):389\u2013404.","journal-title":"In Silico Biology"},{"key":"2075_CR10","doi-asserted-by":"publisher","first-page":"482","DOI":"10.1186\/1471-2105-7-482","volume":"7","author":"A Sackmann","year":"2006","unstructured":"Sackmann A, Heiner M, Koch I: Application of Petri net based analysis techniques to signal transduction pathways. BMC Bioinformatics 2006, 7: 482.","journal-title":"BMC Bioinformatics"},{"issue":"75","key":"2075_CR11","doi-asserted-by":"publisher","first-page":"120","DOI":"10.1002\/bit.1171","volume":"1","author":"R Srivastava","year":"2001","unstructured":"Srivastava R, Peterson MS, Bentley WE: Stochastic kinetic analysis of the Escherichia coli stress circuit using \u03c332-trageted antisense. Biotechnology and Bioengineering 2001, 1(75):120\u2013129.","journal-title":"Biotechnology and Bioengineering"},{"key":"2075_CR12","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1007\/11885191_9","volume-title":"Proceedings of Computational Methods in Systems Biology (CMSB)","author":"LJ Steggles","year":"2006","unstructured":"Steggles LJ, Banks R, Wipat A: Modelling and analyzing genetic networks: from Boolean networks to Petri nets. Proceedings of Computational Methods in Systems Biology (CMSB) 2006, 127\u2013141. 4210 of Lecture Notes in Bioinformatics"},{"issue":"3","key":"2075_CR13","first-page":"347","volume":"3","author":"M Chen","year":"2003","unstructured":"Chen M, Hofest\u00e4dt R: Quantitative Petri net model of gene regulated metabolic networks in the cell. In Silico Biology 2003, 3(3):347\u2013365.","journal-title":"In Silico Biology"},{"issue":"4","key":"2075_CR14","doi-asserted-by":"publisher","first-page":"349","DOI":"10.1016\/j.jtbi.2005.03.018","volume":"236","author":"W Marwan","year":"2005","unstructured":"Marwan W, Sujatha A, Starostzik C: Reconstructing the regulatory network controlling commitment and sporulation in Physarum polycephalum based on hierarchical Petri Net modelling and simulation. Journal of Theoretical Biology 2005, 236(4):349\u2013365.","journal-title":"Journal of Theoretical Biology"},{"issue":"Suppl 2","key":"2075_CR15","doi-asserted-by":"publisher","first-page":"190","DOI":"10.1093\/bioinformatics\/bti1130","volume":"21","author":"E Sim\u00e3o","year":"2005","unstructured":"Sim\u00e3o E, Remy E, Thieffry D, Chaouiya C: Qualitative modelling of regulated metabolic pathways: application to the tryptophan biosynthesis in E.coli . Bioinformatics 2005, 21(Suppl 2):190\u2013196.","journal-title":"Bioinformatics"},{"issue":"4","key":"2075_CR16","doi-asserted-by":"publisher","first-page":"210","DOI":"10.1093\/bib\/bbm029","volume":"8","author":"C Chaouiya","year":"2007","unstructured":"Chaouiya C: Petri net modelling of biological networks. Briefings in Bioinformatics 2007, 8(4):210\u2013219.","journal-title":"Briefings in Bioinformatics"},{"issue":"4","key":"2075_CR17","doi-asserted-by":"publisher","first-page":"595","DOI":"10.1142\/S0219720004000764","volume":"2","author":"S Hardy","year":"2004","unstructured":"Hardy S, Robillard P: Modeling and simulation of molecular biology systems using Petri nets: modeling goals of various approaches. J Bioinform Comput Biol 2004, 2(4):595\u2013613.","journal-title":"J Bioinform Comput Biol"},{"issue":"11","key":"2075_CR18","doi-asserted-by":"publisher","first-page":"3166","DOI":"10.1093\/ietfec\/e89-a.11.3166","volume":"E89-A","author":"H Matsuno","year":"2006","unstructured":"Matsuno H, Li C, Miyano S: Petri net based descriptions for systematic understanding of biological pathways. IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences 2006, E89-A(11):3166\u20133174.","journal-title":"IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences"},{"key":"2075_CR19","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1002\/9780470253489.ch7","volume-title":"Analysis of biological networks","author":"I Koch","year":"2008","unstructured":"Koch I, Heiner M: Petri Nets in Biological Network Analysis. In Analysis of biological networks. Edited by: Junker B, Schreiber F. Wiley & Sons Book Series on Bioinformatics; 2008:139\u2013179."},{"key":"2075_CR20","first-page":"216","volume-title":"Proceedings of the 25th International Conference on Applications and Theory of Petri Nets","author":"M Heiner","year":"2004","unstructured":"Heiner M, Koch I: Petri Net Based Model Validation in Systems Biology. In Proceedings of the 25th International Conference on Applications and Theory of Petri Nets. Volume 3099. Bologna of Lecture Notes in Computer Science, Berlin: Springer; 2004:216\u2013237."},{"issue":"12","key":"2075_CR21","doi-asserted-by":"publisher","first-page":"703","DOI":"10.1177\/0037549703040940","volume":"79","author":"M Ederer","year":"2003","unstructured":"Ederer M, Sauter T, Bullinger E, Gilles ED, Allg\u00f6wer F: An approach for dividing models of biological reaction networks into functional units. Simulation 2003, 79(12):703\u2013716.","journal-title":"Simulation"},{"issue":"12","key":"2075_CR22","doi-asserted-by":"publisher","first-page":"1870","DOI":"10.1093\/bioinformatics\/bth167","volume":"20","author":"H Ma","year":"2004","unstructured":"Ma H, Zhao X, Yuan Y, Zeng A: Decomposition of metabolic network into functional modules based on the global connectivity structure of reaction graph. Bioinformatics 2004, 20(12):1870\u20131876.","journal-title":"Bioinformatics"},{"key":"2075_CR23","doi-asserted-by":"publisher","first-page":"369","DOI":"10.1049\/ip-syb:20060013","volume":"5","author":"S P\u00e9r\u00e8s","year":"2006","unstructured":"P\u00e9r\u00e8s S, Beurton-Aimar M, Mazat JP: Pathway classification of TCA cycle. IEE Proceedings Systems Biology 2006, 5: 369\u2013371.","journal-title":"IEE Proceedings Systems Biology"},{"key":"2075_CR24","doi-asserted-by":"crossref","unstructured":"Grunwald S, Speer A, Ackermann J, Koch I: Petri net modelling of gene regulation of the Duchenne muscular dystrophy. J BioSystems 2008., 92(2):","DOI":"10.1016\/j.biosystems.2008.02.005"},{"key":"2075_CR25","volume-title":"Petri Nets. Basic principles and applications (in German)","author":"B Baumgarten","year":"1996","unstructured":"Baumgarten B: Petri Nets. Basic principles and applications (in German). 2nd edition. Heidelberg: Spektrum Akademischer Verlag; 1996.","edition":"2"},{"key":"2075_CR26","volume-title":"Discrete, Continuous, and Hybrid Petri nets","author":"R David","year":"2005","unstructured":"David R, Alla H: Discrete, Continuous, and Hybrid Petri nets. Berlin, Heidelberg: Springer-Verlag; 2005."},{"key":"2075_CR27","first-page":"541","volume-title":"Proceedings of the IEEE","author":"T Murata","year":"1989","unstructured":"Murata T: Petri nets: Properties, analysis and applications. Proceedings of the IEEE 1989, 541\u2013580."},{"key":"2075_CR28","volume-title":"Petri Net Theory and the Modeling of Systems","author":"JL Peterson","year":"1981","unstructured":"Peterson JL: Petri Net Theory and the Modeling of Systems. Inc New Jersey: Prentice-Hall; 1981."},{"key":"2075_CR29","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-663-09262-9","volume-title":"Analysis of Petri net models (in German)","author":"PH Starke","year":"1990","unstructured":"Starke PH: Analysis of Petri net models (in German). Stuttgart: Teubner Verlag; 1990."},{"key":"2075_CR30","volume-title":"Theory of linear and integer programming","author":"A Schrijver","year":"1998","unstructured":"Schrijver A: Theory of linear and integer programming. Weinheim: Wiley-VCH; 1998."},{"key":"2075_CR31","volume-title":"BMC Bioinformatics","author":"S Klamt","year":"2006","unstructured":"Klamt S, Saez-Rodriguez J, Lindquist JA, Simeoni L, Gilles ED: A methodology for the structural and functional analysis of signaling and regulatory networks. BMC Bioinformatics 2006., 7(56):"},{"key":"2075_CR32","volume-title":"Numerical ecology","author":"P Legendre","year":"1998","unstructured":"Legendre P, Legendre L: Numerical ecology. Amsterdam: Elsevier Science BV; 1998."},{"issue":"15","key":"2075_CR33","doi-asserted-by":"publisher","first-page":"3201","DOI":"10.1093\/bioinformatics\/bti517","volume":"21","author":"J Handl","year":"2005","unstructured":"Handl J, Knowles J, Kell DB: Computational cluster validation in post-genomic data analysis. Bioinformatics 2005, 21(15):3201\u20133212.","journal-title":"Bioinformatics"},{"key":"2075_CR34","volume-title":"Multivariate analysis methods. An application-oriented introduction (in German)","author":"K Backhaus","year":"2003","unstructured":"Backhaus K, Erichson B, Plinke W, Weiber R: Multivariate analysis methods. An application-oriented introduction (in German). 10th edition. Berlin: Springer; 2003.","edition":"10"},{"key":"2075_CR35","volume-title":"Cluster analysis. An Introduction to methods for automatic classification (in German)","author":"D Steinhausen","year":"1977","unstructured":"Steinhausen D, Langer K: Cluster analysis. An Introduction to methods for automatic classification (in German). Berlin: de Gruyter; 1977."},{"key":"2075_CR36","first-page":"406","volume":"4","author":"N Saitou","year":"1987","unstructured":"Saitou N, Nei M: The Neighbor-Joining method: a new method for reconstructing phylogenetic trees. Molecular Biology and Evolution 1987, 4: 406\u2013425.","journal-title":"Molecular Biology and Evolution"},{"key":"2075_CR37","first-page":"729","volume":"5","author":"JA Studier","year":"1988","unstructured":"Studier JA, Keppler KJ: A note on the neighbor-joining algorithm of Saitou and Nei. Molecular Biology and Evolution 1988, 5: 729\u2013731.","journal-title":"Molecular Biology and Evolution"},{"key":"2075_CR38","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511790492","volume-title":"Biological sequence analysis \u2013 Probabilistic models of proteins and nucleic acids","author":"R Durbin","year":"1998","unstructured":"Durbin R, Eddy S, Krogh G, Mitchison G: Biological sequence analysis \u2013 Probabilistic models of proteins and nucleic acids. Cambridge: Cambridge University Press; 1998."},{"key":"2075_CR39","first-page":"229","volume-title":"Proceedings of the Third IAPR-TC15 Workshop on Graph-based Representations in Pattern Recognition","author":"S Gunter","year":"2001","unstructured":"Gunter S, Burke H: Validation indices for graph clustering. In Proceedings of the Third IAPR-TC15 Workshop on Graph-based Representations in Pattern Recognition. Edited by: Jolion JM, Kropatsch W, Vento M. Springer-Verlag; 2001:229\u2013238."},{"key":"2075_CR40","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1016\/0377-0427(87)90125-7","volume":"20","author":"PJ Rousseeuw","year":"1987","unstructured":"Rousseeuw PJ: Silhouettes: a graphical aid to the interpretation and validation of cluster analysis. Journal of Computational and Applied Mathematics 1987, 20: 53\u201365.","journal-title":"Journal of Computational and Applied Mathematics"},{"key":"2075_CR41","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1080\/01969727408546059","volume":"4","author":"J Dunn","year":"1974","unstructured":"Dunn J: Well separated clusters and optimal fuzzy partitions. Journal of Cybernetics 1974, 4: 95\u2013104.","journal-title":"Journal of Cybernetics"},{"issue":"4","key":"2075_CR42","doi-asserted-by":"publisher","first-page":"224","DOI":"10.1109\/TPAMI.1979.4766909","volume":"1","author":"DL Davies","year":"1979","unstructured":"Davies DL, Bouldin DW: A cluster separation measure. IEEE Transactions on Pattern Analysis and Machine Intelligence 1979, 1(4):224\u2013227.","journal-title":"IEEE Transactions on Pattern Analysis and Machine Intelligence"},{"key":"2075_CR43","doi-asserted-by":"publisher","first-page":"190","DOI":"10.1111\/j.2044-8317.1976.tb00714.x","volume":"29","author":"L Hubert","year":"1976","unstructured":"Hubert L, Schultz J: Quadratic assignment as a general data-analysis strategy. British Journal of Mathematical and Statistical Psychology 1976, 29: 190\u2013241.","journal-title":"British Journal of Mathematical and Statistical Psychology"},{"key":"2075_CR44","doi-asserted-by":"publisher","first-page":"1465","DOI":"10.1016\/j.peptides.2003.10.022","volume":"25","author":"L Bardwell","year":"2004","unstructured":"Bardwell L: A walk-through of the yeast mating pheromone response pathway. Peptides 2004, 25: 1465\u20131476.","journal-title":"Peptides"},{"key":"2075_CR45","doi-asserted-by":"publisher","first-page":"1508","DOI":"10.1126\/science.1104568","volume":"306","author":"Y Wang","year":"2004","unstructured":"Wang Y, Dohlman H: Pheromone signaling mechanisms in yeast: a prototypical sex machine. Science 2004, 306: 1508\u20131509.","journal-title":"Science"},{"issue":"10","key":"2075_CR46","doi-asserted-by":"publisher","first-page":"3980","DOI":"10.1158\/0008-5472.CAN-04-3995","volume":"65","author":"AL Gartel","year":"2005","unstructured":"Gartel AL, Radhakrishnan SK: Lost in transcription: p21 repression, mechanisms, and consequences. Cancer Research 2005, 65(10):3980\u20133985.","journal-title":"Cancer Research"},{"key":"2075_CR47","doi-asserted-by":"publisher","first-page":"836","DOI":"10.1109\/PROC.1968.6414","volume":"56","author":"G Nagy","year":"1969","unstructured":"Nagy G: State of the art in pattern recognition. Proceedings of the IEEE 1969, 56: 836\u2013862.","journal-title":"Proceedings of the IEEE"},{"key":"2075_CR48","unstructured":"Snoopy[\n                    http:\/\/www-dssz.informatik.tu-cottbus.de\/~wwwdssz\/\n                    \n                  ]"},{"key":"2075_CR49","unstructured":"Integrated Net Analyzer (INA)[\n                    http:\/\/www2.informatik.hu-berlin.de\/~starke\/ina.html\n                    \n                  ]"},{"key":"2075_CR50","unstructured":"PInA[\n                    http:\/\/www-dssz.informatik.tu-cottbus.de\/~wwwdssz\/\n                    \n                  ]"},{"key":"2075_CR51","unstructured":"Wilmascope[\n                    http:\/\/wilma.sourceforge.net\/\n                    \n                  ]"},{"key":"2075_CR52","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1007\/978-3-642-18638-7_3","volume-title":"Graph Drawing Software, Mathematics and Visualization","author":"T Dwyer","year":"2004","unstructured":"Dwyer T, Eckersley P: Wilmascope a 3 D graph visualisation system. In Graph Drawing Software, Mathematics and Visualization. Edited by: J\u00fcnger M, Mutzel P. Berlin: Springer; 2004:55\u201376."},{"key":"2075_CR53","doi-asserted-by":"publisher","first-page":"570","DOI":"10.1145\/321356.321364","volume":"13","author":"RJ Parikh","year":"1966","unstructured":"Parikh RJ: On context-free languages. Journal Assoc. Comp. Mach 1966, 13: 570\u2013581.","journal-title":"Journal Assoc. Comp. Mach"}],"container-title":["BMC Bioinformatics"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1186\/1471-2105-9-90.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1186\/1471-2105-9-90\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1186\/1471-2105-9-90.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,1,22]],"date-time":"2019-01-22T09:05:23Z","timestamp":1548147923000},"score":1,"resource":{"primary":{"URL":"https:\/\/bmcbioinformatics.biomedcentral.com\/articles\/10.1186\/1471-2105-9-90"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,2,8]]},"references-count":53,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2008,12]]}},"alternative-id":["2075"],"URL":"https:\/\/doi.org\/10.1186\/1471-2105-9-90","relation":{},"ISSN":["1471-2105"],"issn-type":[{"value":"1471-2105","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008,2,8]]},"article-number":"90"}}