{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,21]],"date-time":"2026-01-21T09:23:36Z","timestamp":1768987416957,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":43,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540222361","type":"print"},{"value":"9783540277934","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-27793-4_13","type":"book-chapter","created":{"date-parts":[[2010,9,5]],"date-time":"2010-09-05T22:49:31Z","timestamp":1283726971000},"page":"216-237","source":"Crossref","is-referenced-by-count":52,"title":["Petri Net Based Model Validation in Systems Biology"],"prefix":"10.1007","author":[{"given":"Monika","family":"Heiner","sequence":"first","affiliation":[]},{"given":"Ina","family":"Koch","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"3","key":"13_CR1","doi-asserted-by":"publisher","first-page":"3155","DOI":"10.1093\/nar\/21.13.3155","volume":"21","author":"A. Bairoch","year":"1993","unstructured":"Bairoch, A.: The ENZYME Data Bank. Nucleic Acids Res.\u00a021(3), 3155\u20133156 (1993)","journal-title":"Nucleic Acids Res."},{"key":"13_CR2","volume-title":"Biochemistry","author":"J.M. Berg","year":"2002","unstructured":"Berg, J.M., Tymoczko, J.L., Stryer, L.: Biochemistry, 5th edn. Freeman, New York (2002)","edition":"5"},{"key":"13_CR3","first-page":"30","volume":"3","author":"M. Chen","year":"2003","unstructured":"Chen, M., Hofestaedt, R.: Quantitative Petri Net Model of Gene Regulated Metabolic Networks in the Cell. Silico Biol.\u00a03, 30 (2003)","journal-title":"Silico Biol."},{"key":"13_CR4","unstructured":"Design\/CPN, http:\/\/www.daimi.au.dk\/designCPN\/"},{"issue":"1","key":"13_CR5","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1016\/S1360-1385(01)02183-5","volume":"7","author":"A.R. Fernie","year":"2002","unstructured":"Fernie, A.R., Willmitzer, L., Trethewey, R.N.: Sucrose-to-starch: a Transition in Molecular Plant Physiology. Trends in Plant Sci.\u00a07(1), 35\u201341 (2002)","journal-title":"Trends in Plant Sci."},{"key":"13_CR6","unstructured":"Genrich, H., K\u00fcffner, R., Voss, K.: Executable Petri Net Models for the Analysis of Metabolic Pathways. In: 21th International Conference on Application and Theory of Petri Nets. Workshop Proc. Practical Use of High-level Petri Nets, Aarhus, June 2000, pp. 1\u201314 (2000)"},{"key":"13_CR7","doi-asserted-by":"crossref","unstructured":"Heiner, M., Koch, I., Will, J.: Model Validation of Biological Pathways Using Petri Nets \u2013 Demonstrated for Apoptosis. Journal on BioSystems (2003) (in press)","DOI":"10.1007\/3-540-36481-1_22"},{"key":"13_CR8","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1111\/j.1432-1033.1974.tb03318.x","volume":"42","author":"R. Heinrich","year":"1974","unstructured":"Heinrich, R., Rapoport, T.A.: A Linear Steady-state Treatment of Enzymatic Chains: General Properties, Control and Effector Strength. Eur. J. Biochem.\u00a042, 89\u201395 (1974)","journal-title":"Eur. J. Biochem."},{"key":"13_CR9","doi-asserted-by":"publisher","first-page":"770","DOI":"10.1038\/35037710","volume":"407","author":"M.O. Hengartner","year":"2000","unstructured":"Hengartner, M.O.: The Biochemistry of Apoptosis. Nature\u00a0407, 770\u2013776 (2000)","journal-title":"Nature"},{"key":"13_CR10","first-page":"65","volume":"27","author":"H. Kacser","year":"1973","unstructured":"Kacser, H., Burns, J.A.: The Control of Flux. Symp. Soc. Exp. Bio.\u00a027, 65\u2013104 (1973)","journal-title":"Symp. Soc. Exp. Bio."},{"key":"13_CR11","unstructured":"KEGG Kyoto Encyclopedia of Genes and Genomes, http:\/\/www.genome.ad.jp\/kegg\/pathway\/hsa\/hsa04210.html"},{"key":"13_CR12","unstructured":"Koch, I., Schuster, S., Heiner, M.: Simulation and Analysis of Metabolic Networks Using Time-Dependent Petri Nets. In: Proc. of the German Conference on Bioinformatics (GCB 1999), Hannover, October 1999, pp. 208\u2013209 (1999)"},{"key":"13_CR13","doi-asserted-by":"publisher","first-page":"96","DOI":"10.1126\/science.284.5411.96","volume":"284","author":"C. Koch","year":"1999","unstructured":"Koch, C., Laurent, G.: Complexity and the Nervous System. Science\u00a0284, 96\u201398 (1999)","journal-title":"Science"},{"key":"13_CR14","doi-asserted-by":"crossref","unstructured":"Koch, I., Junker, B., Heiner, M.: Application Petri Net Theory to Model Validation of the Sucrose-to-starch Pathway in Potato Tuber. Submitted to Bioinformatics (2003)","DOI":"10.1093\/bioinformatics\/bti145"},{"key":"13_CR15","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1016\/0022-5193(83)90353-3","volume":"100","author":"M.C. Kohn","year":"1983","unstructured":"Kohn, M.C., Letzkus, W.J.: A Graph-theoretical Analysis of Metabolic Regulation. J. Theoret. Biol.\u00a0100, 293\u2013304 (1983)","journal-title":"J. Theoret. Biol."},{"key":"13_CR16","unstructured":"Lautenbach, K.: Exakte Bedingungen der Lebendigkeit f\u00fcr eine Klasse von Petrinetzen. Berichte der GMD 82, Bonn (1973) (in German)"},{"key":"13_CR17","unstructured":"Lazlo, E.: The Systems View of the World. George Braziller, p. 5 (1972)"},{"key":"13_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/3-540-44919-1_2","volume-title":"Applications and Theory of Petri Nets 2003","author":"H. Matsuno","year":"2003","unstructured":"Matsuno, H., Fujita, S., Doi, A., Nagasaki, M., Miyano, S.: Towards Biopathway Modeling and Simulation. In: van der Aalst, W.M.P., Best, E. (eds.) ICATPN 2003. LNCS, vol.\u00a02679, pp. 3\u201322. Springer, Heidelberg (2003)"},{"key":"13_CR19","first-page":"32","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. Silico Biol.\u00a03, 32 (2003)","journal-title":"Silico Biol."},{"key":"13_CR20","doi-asserted-by":"publisher","first-page":"361","DOI":"10.1016\/S0968-0004(97)01103-1","volume":"22","author":"P. Mendes","year":"1999","unstructured":"Mendes, P.: Biochemistry by Numbers: Simulation of Biochemical Pathway with Gepasi 3. Trends Biochem. Sci.\u00a022, 361\u2013363 (1999)","journal-title":"Trends Biochem. Sci."},{"key":"13_CR21","doi-asserted-by":"crossref","unstructured":"Narahari, Y., Suryanarayanan, K., Reddy, N.V.S.: Discrete Event Simulation of Distributed Systems Using Stochastic Petri Nets. Energy, Electronics, Computers, Communications, pp. 622\u2013625 (1989)","DOI":"10.1109\/TENCON.1989.177017"},{"key":"13_CR22","first-page":"991","volume":"14","author":"J. Peccoud","year":"1998","unstructured":"Peccoud, J.: Stoch, PN for Genetic Networks. MS-Medicine Sciences\u00a014, 991\u2013993 (1998)","journal-title":"MS-Medicine Sciences"},{"key":"13_CR23","unstructured":"Petri, C. A.: Interpretations of Net Theory. GMD, Interner Bericht 75-07, 2nd improved edn., p. 26 (December 1976)"},{"key":"13_CR24","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1093\/bioinformatics\/15.3.251","volume":"15","author":"T. Pfeiffer","year":"1999","unstructured":"Pfeiffer, T., S\u00e1nchez-Valdenebro, I., Nu\u00f1o, J.C., Montero, F., Schuster, S.: METATOOL: For Studying Metabolic Networks. Bioinformatics\u00a015, 251\u2013257 (1999)","journal-title":"Bioinformatics"},{"key":"13_CR25","first-page":"328","volume-title":"Proc. First International Conference on Intelligent Systems for Molecular Biology","author":"V.N. Reddy","year":"1993","unstructured":"Reddy, V.N., Mavrovouniotis, M.L., Liebman, M.N.: Petri Net Representation in Metabolic Pathways. In: Proc. First International Conference on Intelligent Systems for Molecular Biology, pp. 328\u2013336. AAAI Press, Menlo Park (1993)"},{"issue":"1","key":"13_CR26","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1016\/0010-4825(95)00042-9","volume":"26","author":"V.N. Reddy","year":"1996","unstructured":"Reddy, V.N., Liebman, M.N., Mavrovouniotis, M.L.: Qualitative Analysis of Biochemical Reaction Systems. Comput. Biol. Med.\u00a026(1), 9\u201324 (1996)","journal-title":"Comput. Biol. Med."},{"key":"13_CR27","volume-title":"Petri Nets; An Introduction","author":"W. Reisig","year":"1982","unstructured":"Reisig, W.: Petri Nets; An Introduction. Springer, Heidelberg (1982)"},{"key":"13_CR28","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1016\/S0022-5193(69)80026-3","volume":"25","author":"M.A. Savageau","year":"1969","unstructured":"Savageau, M.A.: Biochemical Systems Analysis, I. Some Mathematical Properties of the Rate Law for the Component Ezymatic Reactions. J. Theoret. Biol.\u00a025, 365\u2013369 (1969)","journal-title":"J. Theoret. Biol."},{"key":"13_CR29","doi-asserted-by":"publisher","first-page":"370","DOI":"10.1016\/S0022-5193(69)80027-5","volume":"25","author":"M.A. Savageau","year":"1969","unstructured":"Savageau, M.A.: Biochemical Systems Analysis, II. The Steady-state Solutions for an n- Pool System Using a Power-law Approximation. J. Theoret. Biol.\u00a025, 370\u2013379 (1969)","journal-title":"J. Theoret. Biol."},{"key":"13_CR30","first-page":"190","volume":"3","author":"M.A. Savageau","year":"1991","unstructured":"Savageau, M.A.: Reconstructionist Molecular Biology. The New Biologist\u00a03, 190\u2013197 (1991)","journal-title":"The New Biologist"},{"key":"13_CR31","doi-asserted-by":"crossref","unstructured":"Schuster, S., Hilgetag, C., Schuster, R.: Determining Elementary Modes of Functioning in Biochemical Reaction Networks at Steady State. In: Proc. Second Gauss Symposium, pp. 101\u2013114 (1993)","DOI":"10.1007\/978-3-322-85017-1_9"},{"key":"13_CR32","first-page":"115","volume-title":"Proc. of the German Conference on Bioinformatics 2000","author":"S. Schuster","year":"2000","unstructured":"Schuster, S., Pfeiffer, T., Moldenhauer, F., Koch, I., Dandekar, T.: Structural Analysis of Metabolic Networks: Elementary Flux Modes, Analogy to Petri Nets, and Application toMycoplasma pneumoniae. In: Proc. of the German Conference on Bioinformatics 2000, pp. 115\u2013120. Logos Verlag, Berlin (2000)"},{"issue":"1","key":"13_CR33","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1093\/nar\/24.1.26","volume":"24","author":"E. Selkov","year":"1996","unstructured":"Selkov, E., Basmanova, S., Gaasterland, T., Goryanin, I., Gretchkin, Y., Maltsev, N., Nenashev, V., Overbeek, R., Panyushkina, E., Pronevitch, L., Selkov Jr., E., Yunus, I.: The Metabolic Pathway Collection from ERM: the Enzyme and Metabolic Pathway Database. Nucleic Acids Res.\u00a024(1), 26\u201329 (1996)","journal-title":"Nucleic Acids Res."},{"issue":"1","key":"13_CR34","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1093\/nar\/26.1.43","volume":"26","author":"E. Selkov Jr.","year":"1998","unstructured":"Selkov Jr., E., Gretchkin, Y., Mikhailova, N., Selkov, E.: MPW: The Metabolic Pathways Database. Nucleic Acids Res.\u00a026(1), 43\u201345 (1998)","journal-title":"Nucleic Acids Res."},{"key":"13_CR35","unstructured":"Starke, P.H.: INA - Integrated Net Analyzer. Manual, Berlin (1998)"},{"key":"13_CR36","doi-asserted-by":"crossref","first-page":"72","DOI":"10.1093\/bioinformatics\/15.1.72","volume":"15","author":"M. Tomita","year":"199","unstructured":"Tomita, M., Hashimoto, K., Takahashi, K., Shimuzu, T.S., Matsuzaki, Y., Miyoshi, F., Saito, K., Tanida, S., Yugi, K., Venter, J.C., HUtchinson 3rd, C.A.: Software Enironment forWhole-cell Simulation. Bioinformatics\u00a015, 72\u201384 (199)","journal-title":"Bioinformatics"},{"key":"13_CR37","volume-title":"Computational Analysis of Biochemical Systems","author":"E.O. Voit","year":"2000","unstructured":"Voit, E.O.: Computational Analysis of Biochemical Systems. Cambridge University Press, Cambridge (2000)"},{"key":"13_CR38","first-page":"31","volume":"3","author":"K. Voss","year":"2003","unstructured":"Voss, K., Heiner, M., Koch, I.: Steady State Analysis of Metabolic Pathways Using Petri Nets. Silico Biol.\u00a03, 31 (2003)","journal-title":"Silico Biol."},{"key":"13_CR39","unstructured":"Will, J., Heiner, M.: Petri Nets in Biology, Chemistry, and Medicine - Bibliography; Computer Science Reports 04\/02, BTU Cottbus, p. 36 (November 2002)"},{"issue":"1","key":"13_CR40","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1093\/nar\/29.1.281","volume":"29","author":"E. Wingender","year":"2001","unstructured":"Wingender, E., Chen, X., Fricke, E., Geffers, R., Hehl, R., Liebich, I., Krull, M., Matys, V., Michael, H., Ohnhauser, R., Pruss, M., Schacherer, F., Thiele, S., Urbach, S.: The Transfac System on Gene Expression Regulation. Nucl. Acids Res.\u00a029(1), 281\u2013283 (2001)","journal-title":"Nucl. Acids Res."},{"issue":"1","key":"13_CR41","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1093\/nar\/28.1.289","volume":"28","author":"I. Xenarios","year":"2000","unstructured":"Xenarios, I., Rice, D.W., Salwinski, L., Baron, M.K., Marcotte, E.M., Eisenberg, D.: Dip: the Database of Interacting Proteins. Nucl. Acids Res.\u00a028(1), 289\u2013291 (2000)","journal-title":"Nucl. Acids Res."},{"issue":"5","key":"13_CR42","first-page":"656","volume":"35","author":"A.V. Zeigarnik","year":"1994","unstructured":"Zeigarnik, A.V.: A Graph-Theoretical Model of Complex Reaction Mechanisms: Special Graphs for Characterization of the Linkage between the Routes in Complex Reactions Having Linear Mechanisms. Kinetics and Catalysis\u00a035(5), 656\u2013658 (1994)","journal-title":"Kinetics and Catalysis"},{"key":"13_CR43","unstructured":"Zimmer, R.: Petri Net Based Pathway Models of Biochemical Networks for the Interpretation of Expression Data. Supplement to the Proc. of the 2nd Workshop on Computation of Biochemical Pathways and Genetic Networks, EML Heidelberg, p. 10 (2001)"}],"container-title":["Lecture Notes in Computer Science","Applications and Theory of Petri Nets 2004"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-27793-4_13.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,25]],"date-time":"2025-02-25T15:51:12Z","timestamp":1740498672000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-27793-4_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540222361","9783540277934"],"references-count":43,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-27793-4_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2004]]}}}