Colored Petri nets to model and simulate biological systems

CEUR Workshop Proceedings

Volumn 827, Issue , 2010, Pages 71-85

  Liu, Fei ^a   Heiner, Monika ^a  

^a BRANDENBURG UNIVERSITY OF TECHNOLOGY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COLORED PETRI NETS; COMPLEX BIOLOGICAL SYSTEMS; LIGAND BINDING; MODEL COMPLEXES; REPRESSILATOR; STOCHASTIC PETRI NETS;

COMPUTER WORMS; PETRI NETS;

BIOLOGICAL SYSTEMS;

EID: 84890466609     PISSN: 16130073     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (33)

1. R. Blossey, L. Cardelli, A. Phillips: Compositionality, Stochasticity and Cooperativity in Dynamic Models of Gene Regulation. HFSP Journal. 2(1), 17-28 (2008)
2. N. Bahi-Jaber, D. Pontier: Modeling Transmission of Directly Transmitted Infectious Diseases Using Colored Stochastic Petri Nets. Mathematical Biosciences. 185, 1-13 (2003)
3. Design/CPN: http://www.daimi.au.dk/designCPN. (2001)
4. M. B. Elowitz, S. Leibler: A Synthetic Oscillatory Network of Transcriptional Regulators. Nature. 403, 335-338 (2000)
5. A. Franzke: Charlie 2.0 - a Multi-Threaded Petri Net Analyzer. Diploma Thesis, Brandenburg University of Technology Cottbus. (2009)
6. R. German: Performance Analysis of Communication Systems With Non- Markovian Stochastic Petri Nets. John Wiley and Sons Ltd. (2001)
7. D. Gilbert, M. Heiner: From Petri Nets to Differential Equations - an Integrative Approach for Biochemical Network Analysis. Proc. ICATPN. LNCS, 4024, 181-200 (2006)
8. D. Gilbert, M. Heiner, S. Lehrack : A Unifying Framework for Modelling and Analysing Biochemical Pathways Using Petri Nets. Proc. International Conference on Computational Methods in Systems Biology. LNCS/LNBI, 4695, 200-216 (2007)
9. H. Genrich, R. Kffner, K. Voss: Executable Petri Net Models for the Analysis of Metabolic Pathways. International Journal on Software Tools for Technology Transfer. 3(4), 394-404 (2001)
10. D. T. Gillespie: Exact Stochastic Simulation of Coupled Chemical Reactions. Journal of Physical Chemistry. 81(25), 2340-2361 (1977)
11. M. Heiner, D. Gilbert, R. Donaldson: Petri Nets for Systems and Synthetic Biology. In Schools on Formal Methods (SFM), LNCS, 5016, 215-264 (2008)
12. A. P. Heath, L. E. Kavraki: Computational Challenges in Systems Biology. Computer Science Review. 3(1), 1-17 (2009)
13. M. Heiner, I. Koch, K. Voss: Analysis and Simulation of Steady States in Metabolic Pathways with Petri Nets. Proc. Third Workshop CPN. Univ. of Aarhus, 15-34 (2001)
14. M. Heiner, S. Lehrack, D. Gilbert, W. Marwan: Extended Stochastic Petri Nets for Model-based Design of Wetlab Experiments. Transaction on Computational Systems Biology XI. LNCS/LNBI, 5750, 138-163 (2009)
15. M. Heiner, R. Richter, C. Rohr, M. Schwarick: Snoopy - A Tool to Design and Execute Graph-Based Formalisms. [Extended Version]. Petri Net Newsletter. 74, 8-22 (2008)
16. K. Jensen: Coloured Petri Nets and the Invariant-Method. Theor. Comput. Sci. 14, 317-336 (1981)
17. K. Jensen, L. M. Kristensen, L. M. Wells: Coloured Petri Nets and CPN Tools for Modelling and Validation of Concurrent Systems. International Journal on Software Tools for Technology Transfer. 9(3/4) 213-254 (2007)
18. P. J. E. Goss, J. Peccoud: Quantitative Modeling of Stochastic Systems in Molecular Biology by Using Stochastic Petri Nets. Proc. Natl. Acad. Sci. 95, 6750-6755 (1998)
19. A. Loinger, O. Biham: Stochastic Simulations of the Repressilator Circuit. Phisical Review. 76(5), 051917(9) (2007)
20. D. Lee, R. Zimmer, S. Lee, S. Park: Colored Petri Net Modeling and Simulation of Signal Transduction Pathways. Metabolic Engineering. 8, 112-122 (2006)
21. M. Ajmone Marsan, G. Balbo, G. Conte, S. Donatelli, and G. Franceschinis: Modelling with Generalized Stochastic Petri Nets. Wiley Series in Parallel Computing. John Wiley and Sons, 2nd Edition. (1995)
22. S. Muller, J. Hofbauer, L. Endler, C. Flamm, S. Widder, P. Schuster: A Generalized Model of the Repressilator. Journal of Mathematical Biology. 53, 905-937 (2006)
23. T. Murata: Petri Nets: Properties, Analysis and Applications. Proc.of the IEEE. 4, 541-580 (1989)
24. I. Mura: Simplifying the Stochastic Petri Nets Formalism for Representing Biological Phenomena. Technical Report TR-19-2007, CoSBi (Center for Computational and Systems Biology), University of Trento (2007)
25. W. Marwan, A. Wagler, R. Weismantel: Petri Nets as a Framework for the Reconstruction and Analysis of Signal Transduction Pathways and Regulatory Networks. Natural Computing. 9 (2009)
26. T. Nutsch, D. Oesterhelt, E. D. Gilles, W. Marwan: A Quantitative Model of the Switch Cycle of an Archaeal Flagellar Motor and Its Sensory Control. Biophysical Journal. 89(4), 2307-2323 (2005)
27. A. Phillips, L. Cardelli: Efficient, Correct Simulation of Biological Processes in the Stochastic Pi-calculus. Proc. Computational Methods in Systems Biology. LNCS, 4695, 184-199 (2007)
28. M. Peleg, D. Rubin, R. B. Altman: Using Petri Net Tools to Study Properties and Dynamics of Biological Systems. Journal of the American Medical Informatics Association. 12(2), 181-199 (2005)
29. V. N. Reddy, M. L. Mavrovouniotis, M. N. Liebman: Petri Net Representation in Metabolic Pathways. Proc. First International Conference on Intelligent System for Molecular Biology. 328-336 (1993)
30. T. Runge: Application of Coloured Petri Nets in Systems Biology. Proc. 5th Workshop CPN. 77-95 (2004)
31. M. Schwarick, M. Heiner: CSL Model Checking of Biochemical Networks with Interval Decision Diagrams. Proc. 7th International Conference on Computational Methods in Systems Biology (CMSB 2009), Springer LNBI 5688, 296-312 (2009)
32. Snoopy Website: Snoopy - Tool to Design and Animate/Simulate Graphs. http://www-dssz.informatik.tu-cottbus.de/software/snoopy.html (2010)
33. C. Tubner, B. Mathiak, A. Kupfer, N. Fleischer, S. Eckstein: Modelling and Simulation of the TLR4 Pathway with Coloured Petri Nets. Proc. IEEE EMBS Annual International Conference. 2009-2012 (2006)