Modeling and Analyzing Biological Systems Using Colored Hierarchical Petri Nets Illustrated by C. Elegans Vulval Development

Journal of Biological Systems

Volumn 22, Issue 3, 2014, Pages 463-493

  Liu, Fei ^a   Heiner, Monika ^b   Yang, Ming ^a  

^a HARBIN INSTITUTE OF TECHNOLOGY   (China)

^b BRANDENBURG UNIVERSITY OF TECHNOLOGY   (Germany)

Author keywords

C. elegans Vulval Development; Colored Hierarchical Petri Nets; Modeling Approach; Modeling Framework

Indexed keywords

EID: 84940263170     PISSN: 02183390     EISSN: None     Source Type: Journal    
DOI: 10.1142/S0218339014500181     Document Type: Article

References (54)

1. Heath AP, Kavraki LE, Computational challenges in systems biology, Comput Sci Rev 3(1):1-17, 2009.
2. Gilbert D, Heiner M, Lehrack S, A unifying framework for modelling and analysing biochemical pathways using Petri nets, Proc 5th Int Conf Computational Methods Systems Biology, Lecture Notes in Computer Science, Vol. 4695, pp. 200-216, Springer, 2007.
3. Marwan W, Wagler A, Weismantel R, Petri nets as a framework for the reconstruction and analysis of signal transduction pathways and regulatory networks, Nat Comput 10(2):639-654, 2011.
4. Baldan P, Cocco N, Marin A, Simeoni M, Petri nets for modelling metabolic pathways: A survey, Nat Comput 9(4):955-989, 2010.
5. Chaouiya C, Petri net modelling of biological networks, Briefings Bioinform 8(4):210-219, 2007.
6. Bahi-Jaber N, Pontier D, Modeling transmission of directly transmitted infectious diseases using colored stochastic Petri nets, Math Biosci 185:1-13, 2003.
7. Banks R, Steggles LJ, A high-level Petri net framework for genetic regulatory networks, J Integr Bioinform 4(3):1-12, 2007.
8. Comet J, Klaudel H, Liauzu S, Modeling multi-valued genetic regulatory networks using high-level Petri nets, Proc. of Int Conf Appl Theory of Petri Nets, pp. 208-227, 2005.
9. Chaouiya C, Remy E, Thieffry D, Qualitative Petri net modelling of genetic networks, Trans Computational Systems Biology, Lecture Notes in Computer Science, Vol. 422, Springer, pp. 95-112, 2006.
10. Genrich H, Küffner R, Voss K, Executable Petri net models for the analysis of metabolic pathways, Int J Softw Tools Technol Transf 3(4):394-404, 2001.
11. Lee D, Zimmer R, Lee S, Park S, Colored Petri net modeling and simulation of signal transduction pathways, Metab Eng 8(2):112-122, 2006.
12. Peleg M, Gabashvili IS, Altman RB, Qualitative models of molecular function: Linking genetic polymorphisms of trna to their functional sequelae, Proc IEEE 90(12):1875-1886, 2002.
13. Runge T, Application of coloured Petri nets in systems biology, Proc 5th Workshop and Tutorial on Pract Use of Coloured Petri Nets and the CPN Tools, University of Aarhus, pp. 77-95, 2004.
14. Taübner C, Mathiak B, Kupfer A, Fleischer N, Eckstein S, Modelling and simulation of the tlr4 pathway with coloured Petri nets, Proc 28th Annual Int Conf IEEE Engineering in Medicine and Biology Soc, IEEE, pp. 2009-2012, 2006.
15. Voss K, Heiner M, Koch I, Steady state analysis of metabolic pathways using Petri nets, In Silico Biol 3:0031, 2003.
16. Christensen S, Jørgensen JB, Kristensen LM, Design/CPN-a computer tool for coloured Petri nets, Proc Third Int Workshop on Tools and Algorithms for Construction and Analysis of Systems, Lecture Notes in Computer Science, Vol. 1217, Springer, pp. 209-223, 1997.
17. Jensen K, Kristensen LM, Coloured Petri Nets, Springer, 2009.
18. Rohr C, Marwan W, Heiner M, Snoopy-a unifying Petri net framework to investigate biomolecular networks, Bioinformatics 26(7):974-975, 2010.
19. Liu F, Heiner M, Colored Petri nets to model and simulate biological systems, Proc Int Workshop on Biological Processes and Petri Nets, Satellite Event of Petri Nets 2010, pp. 70-84, 2010.
20. Liu F, Colored Petri nets for systems biology, PhD Thesis, Department of Computer Science, Brandenburg University of Technology Cottbus, 2012.
21. Gao Q, Liu F, Gilbert D, Heiner M, Tree D, A multiscale approach to modelling planar cell polarity in drosophila wing using hierarchically coloured Petri nets, Proc 9th Int Conf Computational Methods in Systems Biology (CMSB 2011), ACM digital library, September 2011.
22. Gao Q, Gilbert D, Heiner M, Liu F, Maccagnola D, Tree D, Multiscale modelling and analysis of planar cell polarity in the drosophila wing, IEEE/ACM Trans Comput Biol Bioinform 10(2):337-351, 2013, online 1 August 2012.
23. Gao Q, A systems biology approach to multi-scale modelling and analysis of planar cell polarity in Drosophila melanogaster wing, PhD Thesis, Brunel University, London/Uxbridge, February 2013.
24. Gilbert D, Heiner M, Liu F, Saunders N, Colouring space-A coloured framework for spatial modelling in systems biology, in Colom JM, Desel J (eds.), Proc PETRI NETS 2013, Lecture Notes in Computer Science, Vol. 7927, Springer, pp. 230-249, 2013.
25. Parvu O, Gilbert D, Heiner M, Liu F, Saunders N, Modelling and analysis of phase variation in bacterial colony growth, in Gupta A, Henzinger TA (eds.), Proc CMSB 2013, Lecture Notes in Computer Science, Vol. 8130, Springer, pp. 78-91, 2013.
26. Heiner M, Gilbert D, Donaldson R, Petri nets for systems and synthetic biology, Proc 8th Int Conf Formal Methods for Computational Systems Biology, Lecture Notes in Computer Science, Vol. 5016, Springer, pp. 215-264, 2008.
27. Genrich HJ, Lautenbach K, The analysis of distributed systems by means of Predicate/Transition-nets, Proc Int Symp Semantics of Concurrent Computation, Lecture Notes in Computer Science, Vol. 70, Springer, pp. 123-146, 1979.
28. Jensen K, Coloured Petri nets and the invariant-method, Theor Comput Sci 14(3):317-336, 1981.
29. Heiner M, Herajy M, Liu F, Rohr C, Schwarick M, Snoopy-a unifying Petri net tool, Proc PETRI NETS 2012, Lecture Notes in Computer Science, Vol. 7347, Springer, pp. 398-407, 2012.
30. Clarke EM, Grumberg O, Peled DA, Model Checking, MIT Press, Cambridge, 2001.
31. Pnueli A, The temporal semantics of concurrent programs, Theor Comput Sci 13(1):45-60, 1981.
32. Aziz A, Sanwal K, Singhal V, Brayton R, Verifying continuous time Markov chains, Proc Int Conf Computer Aided Verification (CAV), Lecture Notes in Computer Science, Vol. 1102, Springer, pp. 269-276, 1996.
33. Donaldson R and Gilbert D, A model checking approach to the parameter estimation of biochemical pathways, Proc 6th Int Conf Computational Methods in Systems Biology, Lecture Notes in Computer Science, Vol. 5307, Springer, pp. 269-287, 2008.
34. Calzone L, Chabrier-Rivier N, Fages F, Soliman S, Machine learning biochemical networks from temporal logic properties, Transactions on Computational Systems Biology, Lecture Notes in Computer Science, Vol. 4220, Springer, pp. 68-94, 2006.
35. Liu F, Heiner M, Rohr C, Manual for colored Petri nets in Snoopy, Technical report, Technical report 02-12, Department of Computer Science, Brandenburg University of Technology Cottbus, March 2012, Available at http://www-dssz.informatik.tucottbus. de/publications/btu-reports/Manual for colored Petri nets 2012 03.pdf.
36. Gillespie DT, Exact stochastic simulation of coupled chemical reactions, J Phys Chem 81(25):2340-2361, 1977.
37. FranzkeA, Charlie 2.0-a multi-threaded Petri net analyzer, Diploma Thesis, Department of CS, BTU Cottbus, December 2009.
38. Wegener J, Schwarick M, Heiner M, A plugin system for Charlie, Proc Int Workshop Concurrency, Specification, Programming (CS&P 2011), Bia-lystok University of Technology, pp. 531-554, September 2011.
39. Schwarick M, Rohr C, Heiner M, MARCIE-model checking and reachability analysis done efficiently, Proc 8th Int Conf Quantitative Evaluation of Systems, IEEE, pp. 91-100, 2011.
40. Heiner M, Rohr C, Schwarick M, MARCIE-Model checking and reachability analysis done efficiently, Colom JM, Desel J (eds.), Proc PETRI NETS 2013, Lecture Notes in Computer Science, Vol. 7927, Springer, pp. 389-399, June 2013.
41. Gecode, Gecode: An open constraint solving library, Available at http://www. gecode.org, March 2014.
42. Yoo A, Bais C, Greenwald I, Crosstalk between the EGFR and LIN-12/Notch pathways in C. elegans vulval development, Science 303(5658):663-666, 2004.
43. Fisher J, Piterman N, Hajnal A, Henzinger TA, Predictive modeling of signaling crosstalk during C. elegans vulval development, PLoS Comput Biol 3(5):e92, 2007.
44. Sternberg PW, Horvitz HR, The combined action of two intercellular signaling pathways specifies three cell fates during vulval induction in C. elegans, Cell 58(4):679-693, 1989.
45. Giurumescu CA, Sternberg PW, Asthagiri AR, Intercellular coupling amplifies fate segregation during Caenorhabditis elegans vulval development, Proc Nat Acad Sci USA 103(5):1331-1336, 2006.
46. Bonzanni N, Krepska E, Feenstra1 KA, Fokkink W, Kielmann T, Bal H, Heringa1 J, Executing multicellular differentiation: Quantitative predictive modelling of C. elegans vulval development, Bioinformatics 25(16):2049-2056, 2009.
47. Li C, Nagasaki M, Ueno K, Miyano S, Simulation-based model checking approach to cell fate specification during Caenorhabditis elegans vulval development by hybrid functional Petri net with extension, BMC Syst Biol 3:42, 2009.
48. Law AM, Simulation Modeling and Analysis, 4th edn., McGraw-Hill Companies, Inc, Tucson, AZ, 2007.
49. Welch PD, The statistical analysis of simulation results, in Lavenberg SS (ed.), The Computer Performance Modeling Handbook, Academic Press, New York, 1983.
50. SandmannW, Maier C, On the statistical accuracy of stochastic simulation algorithms implemented in Dizzy, Proc 5th Int Workshop on Computational Systems Biology, pp. 153-157, 2008.
51. Herajy M, Computational steering of multi-scale biochemical networks, PhD Thesis, Department of CS, BTU Cottbus, January 2013.
52. Heiner M, Gilbert D, Biomodel engineering for multiscale systems biology, Prog Biophys Mol Biol 111(2-3):119-128, 2013, online available 12-October-2012.
53. Liu F, Heiner M, Modeling membrane systems using colored stochastic Petri nets, Nat Comput 12(4):617-629, 2013.
54. Liu F, Heiner M, Multiscale modelling of coupled Ca2+ channels using coloured stochastic Petri nets, IET Syst Biol 7(4):106-113, 2013