Biopathways representation and simulation on hybrid functional Petri net

The following two matters should be resolved in order for biosimulation tools to be accepted by users in biology/medicine: (1) remove issues which are irrelevant to biological importance, and (2) allow users to represent biopathways intuitively and understand/manage easily the details of representation and simulation mechanism. From these criteria, we firstly define a novel notion of Petri net called Hybrid Functional Petri Net (HFPN). Then, we introduce a software tool, Genomic Object Net, for representing and simulating biopathways, which we have developed by employing the architecture of HFPN. In order to show the usefulness of Genomic Object Net for representing and simulating biopathways, we show two HFPN representations of gene regulation mechanisms of Drosophila melanogaster (fruit fly) circadian rhythm and apoptosis induced by Fas ligand. The simulation results of these biopathways are also correlated with biological observations. The software is available to academic users from http://www.GenomicObject.Net/.

[1]  P J Goss,et al.  Quantitative modeling of stochastic systems in molecular biology by using stochastic Petri nets. , 1998, Proceedings of the National Academy of Sciences of the United States of America.

[2]  M. W. Young,et al.  double-time Is a Novel Drosophila Clock Gene that Regulates PERIOD Protein Accumulation , 1998, Cell.

[3]  Michael L. Mavrovouniotis,et al.  Petri Net Representations in Metabolic Pathways , 1993, ISMB.

[4]  Rainer Drath,et al.  Hybrid Aspects of Modelling Manufacturing Systems Using Modified Petri Nets , 1998 .

[5]  R. Drath.  Hybrid object nets : An object oriented concept for modeling complex hybrid systems , 1998 .

[6]  M C Kohn,et al.  Identification of regulatory properties of metabolic networks by graph theoretical modeling. , 1991, Journal of theoretical biology.

[7]  J. Mankovich,et al.  Protease Activity of in Vitro Transcribed and Translated Caenorhabditis elegans Cell Death Gene (ced-3) Product (*) , 1996, The Journal of Biological Chemistry.

[8]  Monika Heiner,et al.  Analysis and Simulation of Steady States in Metabolic Pathways with Petri Nets , 2001 .

[9]  Steffen Schulze-Kremer,et al.  Design and implementation of a qualitative simulation model of lambda phage infection , 1998, Bioinform..

[10]  René David,et al.  Continuous and Hybrid Petri Nets , 1998, J. Circuits Syst. Comput..

[11]  Achim Kienle,et al.  Nonlinear computation in DIVA — methods and applications , 2000 .

[12]  Paul Smaglik,et al.  For my next trick. . . , 2000, Nature.

[13]  Rüdiger Valk.  Self-Modifying Nets, a Natural Extension of Petri Nets , 1978, ICALP.

[14]  M. Tomita.  Whole-cell simulation: a grand challenge of the 21st century. , 2001, Trends in biotechnology.

[15]  J. Dunlap.  Molecular Bases for Circadian Clocks , 1999, Cell.

[16]  C. Thompson,et al.  Apoptosis in the pathogenesis and treatment of disease , 1995, Science.

[17]  Pedro Mendes,et al.  GEPASI: a software package for modelling the dynamics, steady states and control of biochemical and other systems , 1993, Comput. Appl. Biosci..

[18]  Ralf Hofestädt,et al.  A petri net application to model metabolic processes , 1994 .

[19]  James C. Schaff,et al.  The Virtual Cell , 2002, Annals of the New York Academy of Sciences.

[20]  Michael W. Young,et al.  Marking Time for a Kingdom , 2000, Science.

[21]  Hartmann J. Genrich,et al.  Executable Petri net models for the analysis of metabolic pathways , 2001, International Journal on Software Tools for Technology Transfer.

[22]  Jörg Stelling,et al.  Towards a Virtual Biological Laboratory , 2001 .

[23]  P. Hardin,et al.  From biological clock to biological rhythms , 2000, Genome Biology.

[24]  Jean Peccoud,et al.  Analysis of the Stabilizing Effect of ROM on the Genetic Network Controlling ColE1 Plasmid Replication , 1999, Pacific Symposium on Biocomputing.

[25]  Masaru Tomita,et al.  E-CELL: software environment for whole-cell simulation , 1999, Bioinform..

[26]  M. Raff,et al.  Programmed Cell Death in Animal Development , 1997, Cell.

[27]  H Matsuno,et al.  Hybrid Petri net representation of gene regulatory network. , 1999, Pacific Symposium on Biocomputing. Pacific Symposium on Biocomputing.

[28]  T. Kuwana,et al.  Apoptosis Induction by Caspase-8 Is Amplified through the Mitochondrial Release of Cytochrome c * , 1998, The Journal of Biological Chemistry.

[29]  H Kitano,et al.  Construction of a generalized simulator for multi-cellular organisms and its application to SMAD signal transduction. , 1999, Pacific Symposium on Biocomputing. Pacific Symposium on Biocomputing.

[30]  Michael J. Wise,et al.  Quantitative, Scalable Discrete-Event Simulation of Metabolic Pathways , 1999, ISMB.

[31]  Karsten R. Heidtke,et al.  Design and implementation of a qualitative simulation model of λ phage infection , 1997 .

[32]  Masaru Tomita,et al.  The E-CELL project: towards integrative simulation of cellular processes , 2000, RECOMB '00.

[33]  D. Nijhawan,et al.  Apoptosis in neural development and disease. , 2000, Annual review of neuroscience.

[34]  中尾 光輝,et al.  KEGG(Kyoto Encyclopedia of Genes and Genomes)〔和文〕 (特集 ゲノム医学の現在と未来--基礎と臨床) -- (データベース) , 2000 .

[35]  P. Hardin,et al.  Interlocked feedback loops within the Drosophila circadian oscillator. , 1999, Science.

[36]  S. Schuster,et al.  The modelling of metabolic systems. Structure, control and optimality. , 1998, Bio Systems.

[37]  A. Goldbeter,et al.  A Model for Circadian Rhythms in Drosophila Incorporating the Formation of a Complex between the PER and TIM Proteins , 1998, Journal of biological rhythms.

[38]  R Hofestädt,et al.  Quantitative modeling of biochemical networks , 1998, Silico Biol..

[39]  Michael W Young,et al.  The Drosophila Clock Gene double-time Encodes a Protein Closely Related to Human Casein Kinase Iε , 1998, Cell.

[40]  Cynthia L. Stokes,et al.  Biological systems modeling: Powerful discipline for biomedical e‐R&D , 2000 .

[41]  R. Heinrich,et al.  The Regulation of Cellular Systems , 1996, Springer US.

[42]  A. Arkin,et al.  Stochastic mechanisms in gene expression. , 1997, Proceedings of the National Academy of Sciences of the United States of America.

[43]  A. Arkin,et al.  Stochastic kinetic analysis of developmental pathway bifurcation in phage lambda-infected Escherichia coli cells. , 1998, Genetics.

[44]  H. Kitano,et al.  Robust oscillations within the interlocked feedback model of Drosophila circadian rhythm. , 2001, Journal of theoretical biology.

[45]  H Matsuno,et al.  XML documentation of biopathways and their simulations in Genomic Object Net. , 2001, Genome informatics. International Conference on Genome Informatics.