Visualization of the simulation data of biochemical network models: a painted Petri net approach

ABSTRACT

The large quantity of data generated by the simulation of complex biochemical models is difficult to interpret with traditional plots of time series data. A visualization method has been developed and software tools have been implemented. They are efficient with models of metabolic networks in which molecules are produced, consumed and degraded. However, models of signaling pathways in which enzymes are either activated or deactivated to transmit a signal are not handled well with the existing method. In this paper, we present a new visualization method using the painted feature of Petri nets and their invariant properties. We apply the first steps of this method to the continuous Petri net model of the calmodulin pathway. We also present the methodology that we will use to compare the existing visualization method with our Petri net-based method and to verify if it is more suited for signaling pathways.

References

1. Bhalla, Upinder S., and Ravi Iyengar. "Emergent properties of networks of biological signaling pathways." Science 283: (1999) 381--387.
2. David, René, and Hassane Alla. Discrete, Continuous, and Hybrid Petri Nets. Heidelberg, Germany: Springer, 2005.
3. Hardy, Simon, and Pierre N. Robillard. "Modeling and simulation of molecular biology systems using petri nets: modeling goals of various approaches." Journal of Bioinformatics and Computational Biology 2, 4: (2004) 595--613.
4. Hardy, Simon, and Pierre N. Robillard. "Phenomenological and molecular-level Petri net modeling and simulation of long-term potentiation." Biosystems 82, 1: (2005) 26--38.
5. Hardy, Simon, and Pierre N. Robillard. "Painted Petri net and functional abstraction to visualize dynamic modeling." European Simulation and Modelling Conference 2006. ESM 2006.
6. Hofestädt, Ralf, and Sven Thelen. "Quantitative modeling of biochemical networks." In Silico Biol 1, 1: (1998) 39--53.
7. Keim, Daniel A. "Information visualization and visual data mining." IEEE Transactions on Visualization and Computer Graphics 8, 1: (2002) 1--8.
8. Matsuno, Hiroshi, Sachie Fujita, Atsushi Doi, Masao Nagasaki, and Satoru Miyano. "Towards biopathways modeling and simulation." In Proceedings of the 24 ^th Conference on Applications and Theory of Petri Nets (ICATPN 2003), edited by W. M. P. van der Aalst, and E. Best. Springer-Verlag, 2003, volume 2679 of Lecture Notes in Computer Science, 3--22.
9. Matsuno, Hiroshi, Shin-Ichi T. Inouye, Yasuki Okitsu, Ya-sushi Fujii, and Satoru Miyano. "A new regulatory interaction suggested by simulations for circadian genetic control mechanism in mammals." Journal of Bioinformatic and Computational Biology 4, 1: (2006a) 139--153.
10. Matsuno, Hiroshi, Chen Li, and Satoru Miyano. "Petri Net Based Descriptions for Systematic Understanding of Biological Pathways." IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences E89-A, 11: (2006b) 3166--3174.
11. Müller, Woflgang, and Heidrun Schumann. "Visualization methods for time-dependent data--an overview." Proceedings of the 2003 Winter Simulation Conference Vol.1: (2003) 737--745.
12. Nagasaki, Masao, Atsushi Doi, Hiroshi Matsuno, and Satoru Miyano. "Genomic Object Net: I. A platform for modeling and simulating biopathways,." Applied Bioinformatics 2, 3: (2003) 181--184.
13. Nagasaki, Masao, Atushi Doi, Hiroshi Matsuno, and Satoru Miyano. "A Versatile Petri Net Based Architecture for Modeling and Simulation of Complex Biological Processes." Genome Informatics 15, 1: (2004) 180--197.
14. Qeli, Emir, Bernd Freisleben, Daniela Degenring, Aljoscha Wahl, and Wolfgang Wiechert. "MetVis: a tool for designing and animating metabolic networks." The European Simulation and Modelling Conference 2003 333--338.
15. Qeli, Ermir, Wolfgang Wiechert, and Bernd Freisieben. "3D visualization and animation of metabolic networks." 18th European Simulation Multiconference: Networked Simulations and Simulated Networks-ESM'2004 258--262.
16. Reddy, Venkatramana N., Michael L. Mavrovouniotis, and Michael N. Liebman. "Petri net representation in metabolic pathways." In Proceedings of the First International Conference on Intelligent Systems for Molecular Biology (ISMB), edited by L. Hunter, D. Searls, and J. Shavlik. AIII Press, 1993, 328--336.
17. Rost, Ursula, and Ursula Kummer. "Visualisation of biochemical network simulations with SimWiz." IEE Systems Biology 1, 1: (2004) 184--189.
18. Sackmann, Andrea, Monika Heiner, and Ina Koch. "Application of Petri net based analysis techniques to signal transduction pathways." BMC Bioinformatics 7, 1: (2006) 482.
19. Voss, Klaus, Monika Heiner, and Ina Koch. "Steady state analysis of metabolic pathways using Petri nets." In Silico Biology 3, 3: (2003) 367--387.
20. Wegner, Katja. "SimWiz3D - visualising biochemical simulation results." In Medical Information Visualisation - Biomedical Visualisation, 2005. (MediVis 2005). Proceedings. Third International Conference on. 2005, 77--82.
21. Zevedei-Oancea, Ionela, and Stefan Schuster. "Topological analysis of metabolic networks based on Petri net theory." In Silico Biology 3, 3: (2003) 323--345. Evaluation Studies.

• Applied computing

  • Life and medical sciences

• Computing methodologies

  • Modeling and simulation

    • Model development and analysis