Modeling the process of human body iron homeostasis using a variant of timed Petri nets

Discrete Applied Mathematics

Volumn 157, Issue 10, 2009, Pages 2221-2231

  Blazewicz, Jacek ^a,c   Formanowicz, Dorota ^b   Formanowicz, Piotr ^a,c   Sackmann, Andrea ^a   Sajkowski, Michał ^a  

^a POZNAN UNIVERSITY OF TECHNOLOGY   (Poland)

^b POZNAN UNIVERSITY OF MEDICAL SCIENCES   (Poland)

^c INSTITUTE OF BIOORGANIC CHEMISTRY   (Poland)

Author keywords

Iron homeostasis; Net analysis; Petri net model; Time dependence

Indexed keywords

BIOCHEMICAL PROCESS; BIOCHEMICAL REACTIONS; COMPLEX PROCESS; HUMAN BODIES; IRON HOMEOSTASIS; MODEL-BASED; NET ANALYSIS; PETRI NET MODEL; TIME DEPENDENCE; TIME DEPENDENCIES; TIME INTERVALS; TIME LAGS; TIMED PETRI NETS;

BIOCHEMICAL ENGINEERING; BODY FLUIDS; GRAPH THEORY; PETRI NETS;

IRON ANALYSIS;

EID: 67349167070     PISSN: 0166218X     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.dam.2008.06.053     Document Type: Article

References (38)

1. Aisen P., Enns C.A., and Wessling-Resnick M. Chemistry and biology of eucariotic iron metabolism. Int. J. Biochem. Cell. B. 33 (2001) 940-995
2. Anderson G.J., and Frazer D.M. Hepatic iron metabolism. Semin. Liver. Dis. 25 (2005) 420-432
3. Backhaus K., Erichson B., Plinke W., and Weiber R. Multivariate Analysis Methods. An Application-Oriented Introduction. 10th ed. (2000), Springer, Berlin (in German)
4. Beguin Y. Soluble transferrin receptor for the evaluation of erythropoesis and iron status. Clin. Chim. Acta 329 (2003) 9-22
5. J. Brzeziński, M. Sajkowski, A polygon time structure for protocol verification, in: Proc. Parallel Processing and Applied Mathematics Conference, Kazimierz Dolny, Poland, September 14-17, 1999, pp. 177-194
6. J. Brzeziński, M. Sajkowski, Detection of livelocks in communication protocols by means of a polygon time structure, in: Proc. 19th Symp. on Reliable Distributed Systems, 2000, pp. 84-93
7. Crichton R.R. Inorganic Biochemistry of Iron Metabolism (1991), Ellis Horwood Ltd, West Sussex
8. David R., and Alla H. Discrete, Continuous, and Hybrid Petri Nets (2005), Springer Verlag, Heidelberg
9. Doi A., Fujita S., Matsuno H., Nagasaki M., and Miyano S. Constructing biological pathway models with hybrid functional Petri nets. Silico Biol. 4 (2004) 271-291
10. Enns C., and Sussman A. Physical characterization of the transferrin receptor in human placentae. J. Biol. Chem. 256 (1981) 9820-9823
11. Formanowicz D., Sackmann A., Formanowicz P., and Błazewicz J. Petri net based model of the body iron homeostasis. J. Biomed. Inform. 40 (2007) 476-485
12. D. Formanowicz, A. Sackmann, P. Formanowicz, J. Błazewicz, Some aspects of the anemia of chronic disease modeled and verified by Petri net based approach (submitted for publication)
13. Frazer D.M., and Anderson G.J. The orchestration of body iron intake: How and where do enterocytes receive their cues. Blood Cells Mol. Dis. 30 (2003) 288-297
14. Ganz T. Hepcidin, a key regulator of iron metabolism and mediator of anemia and inflammation. Blood 102 (2003) 783-788
15. Grafahrend-Belau E., Schreiber F., Heiner M., Sackmann A., Junker B.H., Grunwald S., Speer A., Winder K., and Koch I. Modularization of biochemical networks based on classification of Petri net t-invariants. BMC Bioinform. 9 (2008) 90
16. Hardy S., and Robillard P.N. Modelling and simulation of molecular biology systems using Petri nets: Modelling goals of various approaches. J. Bioinform. Comput. Biol. 2 (2004) 595-613
17. Heiner M., and Koch I. Petri net based system validation in systems biology. Proc. ICATPN 2004. LNCS vol. 3099 (2004), Bologna 216-237
18. Heiner M., Koch I., and Will J. Model validation of biological pathways using Petri nets - demonstrated for apoptosis. Biosystems 75 (2004) 15-28
19. Hofestädt R. A petri net application of metabolic processes. J. Syst. Anal. Modell. Simul. 16 (1994) 113-122
20. Jacobs A. Low molecular weight intracellular iron transport compounds. Blood 50 (1977) 433-439
21. K. Lautenbach, Exact liveness conditions of a petri net class, GMD Report 82, Bonn, 1973 (in German)
22. K. Lautenbach, Linear algebraic techniques for place/transition nets, advances in petri nets petri nets (1986), pp. 142-167
23. Matsuno H., Tanaka Y., Aoshima H., Doi A., Matsui M., and Miyano S. Biopathways representation and simulation on hybrid functional petri net. Silico Biol. 3 (2003) 389-404
24. Murata T. Petri nets: Properties, analysis and applications. Proc. of the IEEE 77 (1989) 541-580
25. Oria R., Alvarez-Hernández X., Licéaga J., and Brock J.H. Uptake and handling of iron from transferrin, lactoferrin and immune complexes by a macrophage cell line. Biochem. J. 9 (1998) 221-225
26. C.A. Petri, Communication with automata, in: Schriften des IIM Nr. 3, Institut für Instrumentelle Mathematik (1962) Bonn, pp. 16-27 (in German)
27. PInA - Petri net Invariant Analyser, http://www-dssz.informatik.tu-cottbus.de/
28. Pinney J.W., Westhead D.R., and McConkey G.A. Petri net representations in systems biology. Biochem Soc Trans 31 (2003) 1513-1515
29. V.N. Reddy, M.L. Mavrovouniotis, M.N. Liebman, Petri net representation in metabolic pathways, in: Proc. Int. Conf. Intell. Syst. Mol. Biol, 1993, pp. 328-336
30. Reisig W. Petri Nets: An Introduction (1985), Springer Verlag, Heidelberg
31. Sackmann A., Formanowicz D., Formanowicz P., Koch I., and Błazewicz J. An analysis of the Petri net based model of the human body iron homeostasis process. Comput. Biol. Chem. 31 (2007) 1-10
32. Sackmann A., Heiner M., and Koch I. Application of Petri net based analysis techniques to signal transduction pathways. BMC Bioinform. 7 (2006) 482
33. S. Schuster, C. Hilgetag, R. Schuster, Determining elementary modes of functioning in biochemical reaction networks at steady state, in: Proc. Second Gauss Symposium 1993, 1996, pp. 101-114
34. Starke P.H. Analysis of Petri Net Models (1990), Teubner Verlag, Stuttgart (in German)
35. Voss K., Heiner M., and Koch I. Steady state analysis of metabolic pathways using Petri nets. Silico Biol. 3 (2003) 367-387
36. Wang J. Timed Petri Nets. Theory and Applications (1998), Kluwer Academic Publishers, Boston
37. WiDa - Wilmascope for Distance Analysis, http://nwg.bic-gh.de/wida
38. Zevedei-Oancea I., and Schuster S. Topological analysis of metabolic networks based on Petri net theory. Silico Biol. 3 (2003) 323-345