Skip to main content

Petri Net Modeling and Analysis Based on Gene Logic Network

  • Conference paper
  • First Online:
  • 1170 Accesses

Part of the book series: Advances in Intelligent Systems and Computing ((AISC,volume 212))

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.

This is a preview of subscription content, log in via an institution.

Buying options

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   259.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   329.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

References

  1. 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

    Google Scholar 

  2. Kauffman SA (1972) The large-scale structure and dynamics of gene control circuits: an ensemble approach. Theory Biol 44(1):167–190

    Article  Google Scholar 

  3. 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

    Article  Google Scholar 

  4. 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

    Article  Google Scholar 

  5. Friedman N, Linial M, Nachman I (2000) Using Bayesian networks to analyze expression data. J Comput Biol 7:601–620

    Article  Google Scholar 

  6. Grzegorczyk M, Husmeier D, Rahnenfuhrer J (2011) Modeling non-stationary gene regulatory processes with the BGM model. Comput Stat 26(2):199–218

    Article  MATH  Google Scholar 

  7. Chaouiya C (2007) Petri net modeling of biological networks. Briefings Bioinf 8(4):210–219

    Article  Google Scholar 

  8. Thomas R (1973) Boolean formalization of genetic control circuits. J Theor Biol 42(3):563–585

    Article  Google Scholar 

  9. Bowers PM, Cokus SJ, Eisenberg D, Yeates TO (2004) Use of logic relationships to decipher protein network organization. Science 306(5706):2246–2249

    Article  Google Scholar 

  10. Zhang J, Ji Y, Zhang L (2007) Extracting three-way gene interactions from microarray data. Bioinformatics 23(21):2903–2909

    Article  Google Scholar 

  11. 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

    Article  MathSciNet  MATH  Google Scholar 

  12. 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

    Article  MathSciNet  MATH  Google Scholar 

  13. 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

    Article  MathSciNet  MATH  Google Scholar 

  14. 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

    Article  Google Scholar 

  15. Matsuno H, Doi A, Nagasaki M (2000) Hybrid petri net representation of gene regulatory network. Pac Symp Biocomputing 5:338–349

    Google Scholar 

  16. 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

    Google Scholar 

  17. 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

    Google Scholar 

Download references

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

Authors

Corresponding author

Correspondence to Shudong Wang .

Editor information

Editors and Affiliations

Rights and permissions

Reprints 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)

Publish with us

Policies and ethics