Abstract
Petri net has been employed for modeling metabolic pathways as well as signal transduction pathways and gene regulatory networks. The purpose of this paper is to introduce an extension of Petri net called hybrid functional Petri net (HFPN) which allows us to model biopathways naturally and effectively. The method for creating biopathways with HFPN is demonstrated through a well-known biopathway example “lac operon gene regulatory mechanism and glycolytic pathway.” In order to evaluate this biopathway model, simulations of five mutants of the lac operon are carried out by Genomic Object Net which is a biopathway simulator based on the HFPN architecture. The software Genomic Object Net and the HFPN files presented in this paper can be downloaded from http://www.GenomicObject.Net/.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Alberts, B., Bray, D., Lewis, J., Raff, M., Roberts, K., Watson, J.: The Molecular Biology of the Cell, Third Edition. Garland Publishing, Inc. (1994)
Alla, H., David, R.: Continuous and hybrid petri nets. J. Circuits, Systems, and Computers 8 (1998) 159–188
Colibri (Escherichia coli genolist browser) http://genolist.pasteur.fr/Colibri/genome.cgi.
Drath, R.: Hybrid object nets: An object oriented concept for modeling complex hybrid systems. Proc. Hybrid Dynamical Systems, 3rd International Conference on Automation of Mixed Processes, ADPM’98 (1998) 437–442
Genrich, H., Küffner, R., Voss, K.: Executable petri net models for the analysis of metabolic pathways. International Journal on Software Tools for Technology Transfer 3 (2001) 394–404
Ghosh, R., Tomlin, C.J.: Lateral inhibition through Delta-Notch signaling: a piecewise affine hybrid model. Proc. 4th International Workshop on Hybrid Systems: Computation and Control, Lecture Notes in Computer Science 2034 (2001) 232–246
Heidtke, K.R., Schulze-Kremer, S.: Design and implementation of qualitative simulation model of λ phage infection. Bioinformatics 14 (1998) 81–91
Heiner, M., Koch, I., Voss, K.: Analysis and simulation of steady states in metabolic pathways with petri nets. Third Workshop and Tutorial on Practical Use of colored Petri Nets and CPN Tools, Universität Aarhus, DAIMI PB-554 (2001) 15–34
Hofestädt, R., Thelen, S.: Quantitative modeling of biochemical networks. In Silico Biology 1 (1998) 39–53
http://www.biospice.org.
http://www.GenomicObject.Net/.
Kuipers, B.: Qualitative reasoning. Modeling and simulation with incomplete knowledge. MIT Press, Cambridge, MA (1994)
Kyoda, K., Muraki, M., Kitano, H.: Construction of a generalized simulator for multi-cellular organisms and its application to smad signal transduction. Pacific Symposium on Biocomputing 5 (2000) 317–329
Lewin, B.: Genes VI. Oxford University Press and Cell Press. (1997)
Mendes, P.: GEPASI: a software for modeling the dynamics, steady states and control of biochemical and other systems. Comput. Appl. Biosci. 9 (1993) 563–571
Matsui, M., Doi, A., Matsuno, H., Hirata, Y., Miyano, S.: Biopathway model conversion from E-CELL to Genomic Object Net. Genome Informatics 12 (2001) 290–291
Matsuno, H., Doi, A., Nagasaki, M., Miyano, S.: Hybrid petri net representation of gene regulatory network. Pacific Symposium on Biocomputing 5 (2000) 338–349
Matsuno, H., Murakami, R., Yamane, R., Yamasaki, N., Fujita, S., Yoshimori, H., Miyano, S.: Boundary formation by notch signaling in Drosophila multicellular systems: Experimental observations and a gene network modeling by Genomic Object Net. Pacific Symposium on Biocomputing 8 (2003) 152–163
Nagasaki, M., Doi, A., Matsuno, H., Miyano, S.: Genomic Object Net: a platform for modeling and simulating biopathways. submitted for publication.
Reddy, V., Mavrovouniotis, M., Liebman, M.: Petri net representations in metabolic pathways. Proc. First ISMB (1993) 328–336
Reisig, W.: Petri Nets. Springer-Verlag (1985)
Tomita, M., Hashimoto, K., Takahashi, K., Shimizu, T., Matsuzaki, Y., Miyoshi, F., Saito, K., Tanida, S., Yugi, K., Venter, J.C., Hutchison, C.: E-CELL: software environment for whole cell simulation. Bioinformatics 15 (1999) 72–84
Valk, R.: Self-modifying nets, a natural extension of petri nets. Lecture Notes in Computer Science 62 (ICALP’ 78) (1978) 464–476
Watson, J.D., Hopkins, N.H., Roberts, J.W., Steitz, J.A., Weiner, A.M.: Molecular Biology of the Gene, Fourth Edition. The Benjamin/Cummings Publishing Company Inc (1987)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Matsuno, H., Fujita, S., Doi, A., Nagasaki, M., Miyano, S. (2003). Towards Biopathway Modeling and Simulation. In: van der Aalst, W.M.P., Best, E. (eds) Applications and Theory of Petri Nets 2003. ICATPN 2003. Lecture Notes in Computer Science, vol 2679. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-44919-1_2
Download citation
DOI: https://doi.org/10.1007/3-540-44919-1_2
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-40334-0
Online ISBN: 978-3-540-44919-5
eBook Packages: Springer Book Archive