{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,29]],"date-time":"2026-05-29T18:12:54Z","timestamp":1780078374037,"version":"3.54.0"},"reference-count":26,"publisher":"Oxford University Press (OUP)","issue":"7","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005,4,1]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>Motivation: Because of the complexity of metabolic networks and their regulation, formal modelling is a useful method to improve the understanding of these systems. An essential step in network modelling is to validate the network model. Petri net theory provides algorithms and methods, which can be applied directly to metabolic network modelling and analysis in order to validate the model. The metabolism between sucrose and starch in the potato tuber is of great research interest. Even if the metabolism is one of the best studied in sink organs, it is not yet fully understood.<\/jats:p><jats:p>Results: We provide an approach for model validation of metabolic networks using Petri net theory, which we demonstrate for the sucrose breakdown pathway in the potato tuber. We start with hierarchical modelling of the metabolic network as a Petri net and continue with the analysis of qualitative properties of the network. The results characterize the net structure and give insights into the complex net behaviour.<\/jats:p><jats:p>Availability: Free availability of the Petri net editor PED, the animator PedVisor via http:\/\/www-dssz.informatik.tu-cottbus.de\/~wwwdssz, and the analysis tool Integrated Net Analyser (INA) via http:\/\/www.informatik.hu-berlin.de\/~starke\/ina.html<\/jats:p><jats:p>Contact: \u00a0Ina.Koch@tfh-berlin.de<\/jats:p>","DOI":"10.1093\/bioinformatics\/bti145","type":"journal-article","created":{"date-parts":[[2004,11,17]],"date-time":"2004-11-17T03:23:11Z","timestamp":1100661791000},"page":"1219-1226","source":"Crossref","is-referenced-by-count":93,"title":["Application of Petri net theory for modelling and validation of the sucrose breakdown pathway in the potato tuber"],"prefix":"10.1093","volume":"21","author":[{"given":"Ina","family":"Koch","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Bj\u00f6rn H.","family":"Junker","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Monika","family":"Heiner","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"286","published-online":{"date-parts":[[2004,11,16]]},"reference":[{"key":"2023013107282338800_B1","doi-asserted-by":"crossref","unstructured":"ap Rees, T. and Beevers, H. 1960Pathways of glucose dissimilation in carrot slices. Plant Physiol.35830\u2013838","DOI":"10.1104\/pp.35.6.830"},{"key":"2023013107282338800_B2","unstructured":"ap Rees, T. and Morell, S. 1990Carbohydrate metabolism in developing potatoes. Am. Potato J.67835\u2013847"},{"key":"2023013107282338800_B3","doi-asserted-by":"crossref","unstructured":"Appeldoorn, N., de Bruijn, S., Koot-Gronsveld, E., Visser, R., Vreugdenhil, D., van der Plas, L. 1999Developmental changes in enzymes involved in the conversion of hexose phosphates and its subsequent metabolites during early tuberization of potato. Plant Cell Environ.221085\u20131096","DOI":"10.1046\/j.1365-3040.1999.00473.x"},{"key":"2023013107282338800_B4","doi-asserted-by":"crossref","unstructured":"Edwards, J. and Palsson, B. 2000Metabolic flux balance analysis and the in silico analysis of Escherichia coli K-12 gene deletions. BMC Bioinformatics1(1),1 Epub July 27 2000","DOI":"10.1186\/1471-2105-1-1"},{"key":"2023013107282338800_B5","doi-asserted-by":"crossref","unstructured":"Fernie, A., Tauberger, E., Lytovchenko, A., Roessner, U., Willmitzer, L., Trethewey, R. 2002Antisense repression of cytosylic phosphoglucomutase in potato (Solanum tuberosum) results in a severe growth retardation, reduction, in tuber number and altered carbon metabolism. Planta214510\u2013520","DOI":"10.1007\/s004250100644"},{"key":"2023013107282338800_B6","unstructured":"Fernie, A., Willmitzer, L., Trethewey, R. 2002Sucrose to starch: a transition in molecular plant physiology. Trends Plant Sci.735\u201341"},{"key":"2023013107282338800_B7","unstructured":"Geigenberger, P. 2003Regulation of sucrose to starch conversion in growing potato tubers. J. Exp. Bot.54457\u2013465"},{"key":"2023013107282338800_B8","unstructured":"Geigenberger, P. and Stitt, M. 1991Sucrose synthase catalyses a readily reversible reaction in vivo in developing potato tubers and other plant systems. Planta189329"},{"key":"2023013107282338800_B9","doi-asserted-by":"crossref","unstructured":"Heiner, M., Koch, I., Will, J. 2004Model validation of biological pathways using Petri nets\u2014demonstrated for apoptosis. BioSystems7515\u201328","DOI":"10.1007\/3-540-36481-1_22"},{"key":"2023013107282338800_B10","unstructured":"Hofest\u00e4dt, R. 1994A Petri net application of metabolic processes. J. Syst. Anal. Modell. Simul.16113\u2013122"},{"key":"2023013107282338800_B11","unstructured":"Hofest\u00e4dt, R. and Thelen, S. 1998Quantitative modelling of biochemical networks. In Silico Biol.139\u201353"},{"key":"2023013107282338800_B12","doi-asserted-by":"crossref","unstructured":"K\u00fcffner, R., Zimmer, R., Lengauer, T. 2000Pathway analysis in metabolic databases via differential metabolic display (dmd). Bioinformatics16825\u2013836","DOI":"10.1093\/bioinformatics\/16.9.825"},{"key":"2023013107282338800_B13","unstructured":"Lautenbach, K. 1973Exact liveness conditions of a Petri net class (in German). GMD Report 82 , Germany Bonn"},{"key":"2023013107282338800_B14","doi-asserted-by":"crossref","unstructured":"Matsuno, H., Fujita, S., Doi, A., Nagasaki, M., Miyano, S. 2003Towards pathway modelling and simulation. In Caradella, J. and Reioig, D. (Eds.). Proceedings of the ICATPN 2004 , Italy June 2004, LNCS 2679 Bologna, pp. 3\u201322","DOI":"10.1007\/3-540-44919-1_2"},{"key":"2023013107282338800_B15","unstructured":"Menzel, T. 1996Design and implementation of a Petri net tool kit framework integrating animation and simulation. Major Individual Project (in German) , BTU Cottbus Department of CS"},{"key":"2023013107282338800_B16","doi-asserted-by":"crossref","unstructured":"Murata, T. 1989Petri nets: properties, analysis and applications. Proc. IEEE77, pp. 541\u2013580","DOI":"10.1109\/5.24143"},{"key":"2023013107282338800_B17","unstructured":"Reddy, V., Mavrovouniotis, M., Liebman, M. 1993Petri net representation in metabolic pathways. In Hunter, H., Sears, D., Shavlik, J. (Eds.). Proceedings of the First International Conference on Intelligent Systems for Molecular Biology , Bethesda, MD, USA July 1993 AAAI Press, pp. 328\u2013336"},{"key":"2023013107282338800_B18","doi-asserted-by":"crossref","unstructured":"Reddy, V., Mavrovouniotis, M., Liebman, M. 1996Qualitative analysis of biochemical reaction systems. Comput. Biol. Med.269\u201324","DOI":"10.1016\/0010-4825(95)00042-9"},{"key":"2023013107282338800_B19","doi-asserted-by":"crossref","unstructured":"Schuster, S., Hilgetag, C., Schuster, R. 1993Determining elementary modes of functioning in biochemical reaction networks at steady state. In Fritsh, R., Luitz, R.G., Behaira, M., Behaira, M. (Eds.). Proceedings of the Second Gauss Symposium , Munich, Germany August 1993 Walte de Gruyter Inc., pp. 101\u2013114","DOI":"10.1007\/978-3-322-85017-1_9"},{"key":"2023013107282338800_B20","doi-asserted-by":"crossref","unstructured":"Starke, P. Analysis of Petri Net Models (in German)1990, Stuttgart B.G. Teubner","DOI":"10.1007\/978-3-663-09262-9"},{"key":"2023013107282338800_B21","unstructured":"Starke, P. and Roch, S. INA\u2014The Intergrated Net Analyzer1999, Berlin Humboldt University"},{"key":"2023013107282338800_B22","unstructured":"Internal Technical Report. Tiedemann, R. 1997PED\u2014hierarchical Petri net editor (in German). , BTU Cottbus Department of CS"},{"key":"2023013107282338800_B23","doi-asserted-by":"crossref","unstructured":"Tsavachidou, D. and Liebman, M. 2002Modelling and simulation of pathways in the menopause. JAMIA9, pp. 461\u2013871","DOI":"10.1197\/jamia.M1103"},{"key":"2023013107282338800_B24","unstructured":"Veramendi, J., Fernie, A., Leisse, A., Willmitzer, L., Trethewey, R. 2002Potato hexokinase 2 complements transgenic Arabidopsis plants deficient in hexose 1 but does not play a key role in tuber carbon metabolism. Plant Mol. Biol.49451\u2013501"},{"key":"2023013107282338800_B25","doi-asserted-by":"crossref","unstructured":"Veramendi, J., Roessner, U., Renz, A., Willmitzer, L., Trethewey, R. 1999Antisense repression of hexokinase 1 leads to an overaccumulation of starch in leaves of transgenic potato plants but not to significant changes in tuber carbohydrate metabolism. Plant Physiol.121123\u2013133","DOI":"10.1104\/pp.121.1.123"},{"key":"2023013107282338800_B26","unstructured":"Voss, K., Heiner, M., Koch, I. 2003Steady state analysis of metabolic pathways using Petri nets. In Silico Biol.3367\u2013387"}],"container-title":["Bioinformatics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/academic.oup.com\/bioinformatics\/article-pdf\/21\/7\/1219\/48967130\/bioinformatics_21_7_1219.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/academic.oup.com\/bioinformatics\/article-pdf\/21\/7\/1219\/48967130\/bioinformatics_21_7_1219.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,12,20]],"date-time":"2024-12-20T04:55:19Z","timestamp":1734670519000},"score":1,"resource":{"primary":{"URL":"https:\/\/academic.oup.com\/bioinformatics\/article\/21\/7\/1219\/269066"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004,11,16]]},"references-count":26,"journal-issue":{"issue":"7","published-print":{"date-parts":[[2005,4,1]]}},"URL":"https:\/\/doi.org\/10.1093\/bioinformatics\/bti145","relation":{},"ISSN":["1367-4811","1367-4803"],"issn-type":[{"value":"1367-4811","type":"electronic"},{"value":"1367-4803","type":"print"}],"subject":[],"published-other":{"date-parts":[[2005,4,1]]},"published":{"date-parts":[[2004,11,16]]}}}