BioNetSim: a Petri net-based modeling tool for simulations of biochemical processes

BioNetSim, a Petri net-based software for modeling and simulating biochemistry processes, is developed, whose design and implement are presented in this paper, including logic construction, real-time access to KEGG (Kyoto Encyclopedia of Genes and Genomes), and BioModel database. Furthermore, glycolysis is simulated as an example of its application. BioNetSim is a helpful tool for researchers to download data, model biological network, and simulate complicated biochemistry processes. Gene regulatory networks, metabolic pathways, signaling pathways, and kinetics of cell interaction are all available in BioNetSim, which makes modeling more efficient and effective. Similar to other Petri net-based softwares, BioNetSim does well in graphic application and mathematic construction. Moreover, it shows several powerful predominances. (1) It creates models in database. (2) It realizes the real-time access to KEGG and BioModel and transfers data to Petri net. (3) It provides qualitative analysis, such as computation of constants. (4) It generates graphs for tracing the concentration of every molecule during the simulation processes.

[1]  Chrystopher L. Nehaniv,et al.  Algebraic properties of automata associated to Petri nets and applications to computation in biological systems , 2008, Biosyst..

[2]  V. N. Reddy,et al.  Qualitative analysis of biochemical reaction systems , 1996, Comput. Biol. Medicine.

[3]  D. Fell.  Metabolic control analysis: a survey of its theoretical and experimental development. , 1992, The Biochemical journal.

[4]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

[5]  D R Westhead,et al.  Petri Net representations in systems biology. , 2003, Biochemical Society transactions.

[6]  Jeffrey D Orth,et al.  What is flux balance analysis? , 2010, Nature Biotechnology.

[7]  A. Aderem.  Systems Biology: Its Practice and Challenges , 2005, Cell.

[8]  Alessandro Giua,et al.  Discrete event representation of qualitative models using Petri nets , 1998, IEEE Trans. Syst. Man Cybern. Part B.

[9]  Igor Goryanin,et al.  Mathematical simulation and analysis of cellular metabolism and regulation , 1999, Bioinform..

[10]  Eduardo Sontag,et al.  A Petri net approach to the study of persistence in chemical reaction networks. , 2006, Mathematical biosciences.

[11]  MuDer Jeng,et al.  A Petri net synthesis theory for modeling flexible manufacturing systems , 1997, IEEE Trans. Syst. Man Cybern. Part B.

[12]  Luhua Lai,et al.  Dynamic Simulations on the Arachidonic Acid Metabolic Network , 2007, PLoS Comput. Biol..

[13]  Odd Bringslid,et al.  dMath: a European project for the restatement of mathematics teaching , 2007 .

[14]  O. L. Wang,et al.  Developing a visual component library for a graphical programming platform using object orientation , 2002 .

[15]  Claudine Chaouiya,et al.  Petri net modelling of biological networks , 2007, Briefings Bioinform..

[16]  Melanie I. Stefan,et al.  BioModels Database: An enhanced, curated and annotated resource for published quantitative kinetic models , 2010, BMC Systems Biology.

[17]  Susumu Goto,et al.  The KEGG databases at GenomeNet , 2002, Nucleic Acids Res..

[18]  Stefan Schuster,et al.  Topological analysis of metabolic networks based on Petri net theory , 2003, Silico Biol..

[19]  F. Srienc,et al.  Elementary mode analysis: a useful metabolic pathway analysis tool for characterizing cellular metabolism , 2009, Applied Microbiology and Biotechnology.

[20]  Oliver E. Sturm,et al.  Computational modelling of the receptor-tyrosine-kinase-activated MAPK pathway. , 2005, The Biochemical journal.