Abstract
Petri net has recently emerged as a promising tool for the modeling and analysis of molecular networks. In this research, gene logic network constructed by approach-logic analysis of phylogenetic profiles method is described. In order to depict the logic interactions between genes, a new Petri net formalism with augmented inhibitor arc is proposed, which is called ALTPN. Two different types of places and different transitions are formulated in ALTPN, and then corresponding firing rule is given. Further, ALTPN of all 1-order and 2-order gene logic types are listed. Finally reachability graph method is used to accomplish asynchronous dynamic analysis of gene logic interactions in colon cancer and some conclusions are drawn.
Keywords
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsReferences
Akutsu T, Miyano S, Kuhara S (1999) Identification of genetic networks from a small number of gene expression patterns under the Boolean network model. Pac Symp Biocomputing 4:17–28
Kauffman SA (1972) The large-scale structure and dynamics of gene control circuits: an ensemble approach. Theory Biol 44(1):167–190
Marlovits G, Tyson CJ, Novak B, Tyson JJ (1998) Modeling M-phase control in Xenopus oocyte extracts: the surveillance mechanism for unreplicated DNA. Biophys Chem 72:169–184
Novak B, Csikasz-Nagy A, Gyory B, Chen K, Tyson JJ (1998) Mathematical model of the fission yeast cell cycle with checkpoint controls at the G1/S, G2/M and metaphase/anaphase transitions. Biophys Chem 72:185–200
Friedman N, Linial M, Nachman I (2000) Using Bayesian networks to analyze expression data. J Comput Biol 7:601–620
Grzegorczyk M, Husmeier D, Rahnenfuhrer J (2011) Modeling non-stationary gene regulatory processes with the BGM model. Comput Stat 26(2):199–218
Chaouiya C (2007) Petri net modeling of biological networks. Briefings Bioinf 8(4):210–219
Thomas R (1973) Boolean formalization of genetic control circuits. J Theor Biol 42(3):563–585
Bowers PM, Cokus SJ, Eisenberg D, Yeates TO (2004) Use of logic relationships to decipher protein network organization. Science 306(5706):2246–2249
Zhang J, Ji Y, Zhang L (2007) Extracting three-way gene interactions from microarray data. Bioinformatics 23(21):2903–2909
Wang S, Chen Y, Wang Q, Li E, Su Y, Meng D (2010) Analysis for gene networks based on logic relationships. J Syst Sci Complexity 23(5):435–447
Chaouiya C, Remy E, Ruet P, Thieffry D (2004) Qualitative modelling of genetic networks: from logical regulatory graphs to standard petri nets. Lect Notes Comp Sci 3099:137–156
Comet J, Klaudel H, Liauzu S (2005) Modeling multi-valued genetic regulatory networks using high-level petri nets. Lect Notes Comp Sci 3536:208–227
Hardy S, Pierre NR (2004) Modeling and simulation of molecular biology systems using petri nets: modeling goals of various approaches. J Bioinf Comput Biol 2(4):619–637
Matsuno H, Doi A, Nagasaki M (2000) Hybrid petri net representation of gene regulatory network. Pac Symp Biocomputing 5:338–349
Simao E, Remy E, Thieffry E, Chaouiya C (2005) Qualitative modeling of regulated metabolic pathways: application to the tryptophan biosynthesis in E. coli. Bioinformatics 21(2):190–196
Ruan X, Wang J, Li H (2007) The establishment and application of a logical network model based on gene expression profiles of genes. Prog Biochem Biophys 34(8):871–880
Acknowledgments
The authors would like to thank National Natural Science Foundation of China (Nos: 60874036, 60503002, 10971122), SDUST Research Fund of China (No. 2010KYJQ104) for the support to this work.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Zhang, Y., Wang, S., Wu, H., Yi, Y. (2013). Petri Net Modeling and Analysis Based on Gene Logic Network. In: Yin, Z., Pan, L., Fang, X. (eds) Proceedings of The Eighth International Conference on Bio-Inspired Computing: Theories and Applications (BIC-TA), 2013. Advances in Intelligent Systems and Computing, vol 212. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-37502-6_46
Download citation
DOI: https://doi.org/10.1007/978-3-642-37502-6_46
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-37501-9
Online ISBN: 978-3-642-37502-6
eBook Packages: EngineeringEngineering (R0)