Spatio-temporal modeling and simulation of Mycobacterium pathogenesis using petri nets

Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering

Volumn 103 LNICST, Issue , 2012, Pages 236-241

  Carvalho, Rafael V ^a   Davids, Willem ^a   Meijer, Annemarie H ^a   Verbeek, Fons J ^a  

^a LEIDEN UNIVERSITY   (Netherlands)

Author keywords

biological system; Formal methods; Petri nets; simulation

Indexed keywords

BIOINFORMATICS; BIOMIMETICS; DATA VISUALIZATION; FORMAL METHODS; IMAGE ANALYSIS; PETRI NETS; THREE DIMENSIONAL COMPUTER GRAPHICS;

ACCURATE ESTIMATION; BIOLOGICAL PHENOMENA; COMPUTATIONAL MODEL; COMPUTERIZED SIMULATION; SIMULATION; SIMULATION AND ANALYSIS; SPATIO-TEMPORAL MODELS; THREE DIMENSIONAL VISUALIZATION;

BIOLOGICAL SYSTEMS;

EID: 84869594031     PISSN: 18678211     EISSN: None     Source Type: Book Series    
DOI: 10.1007/978-3-642-32711-7_23     Document Type: Conference Paper

References (22)

1. Alia, H., David, R.: Continuous and hybrid Petri nets. Journal of Circuits Systems and Computers 8, 159-188 (1998) (Pubitemid 128540252)
2. Barbuti, R., Caravagna, G., Maggiolo-Schettini, A., Milazzo, P., Pardini, G.: The Calculus of Looping Sequences. In: Bernardo, M., Degano, P., Zavattaro, G. (eds.) SFM 2008. LNCS, vol. 5016, pp. 387-423. Springer, Heidelberg (2008)
3. Bouley, D.M., et al.: Dynamic nature of host-pathogen interactions in Mycobacterium marinum granulomas. Infection and Immunity 69(12), 7820 (2001)
4. Calzone, L., et al.: BIOCHAM: an environment for modeling biological systems and formalizing experimental knowledge. Bioinformatics 22(14), 1805-1807 (2006) (Pubitemid 44288351)
5. Cardelli, L.: Brane Calculi - Interactions of Biological Membranes. In: Danos, V., Schachter, V. (eds.) CMSB 2004. LNCS (LNBI), vol. 3082, pp. 257-278. Springer, Heidelberg (2005) (Pubitemid 41420546)
6. Chaouiya, C.: Petri net modelling of biological networks. Briefings in Bioinformatics 8(4), 210-219 (2007) (Pubitemid 47336806)
7. Danos, V., Krivine, J.: Formal Molecular Biology Done in CCS-R. Electronic Notes in Theoretical Computer Science 180(3), 31-49 (2007) (Pubitemid 47042645)
8. Fisher, J., Henzinger, T.A.: Executable cell biology. Nature Biotechnology 25(11), 1239-1249 (2007) (Pubitemid 350089829)
9. Hardy, S., Robillard, P.N.: Modeling and simulation of molecular biology systems using Petri nets: modeling goals of various approaches. Journal of Bioinformatics and Computational Biology 2(4), 595-613 (2004)
10. Heiner, M., et al.: Snoopy-A Tool to Design and Execute Graph-Based Formalisms. Petri Net Newsletter 74, 8-22 (2008)
11. Hofestädt, R.: A Petri net application to model metabolic processes. Systems Analysis Modelling Simulation 16(2), 113-122 (1994)
12. Lesley, R., Ramakrishnan, L.: Insights into early mycobacterial pathogenesis from the zebrafish. Current Opinion in Microbiology 11(3), 277-283 (2008)
13. Liu, F., et al.: Computation of Enabled Transition Instances for Colored Petri Nets. In: Proc. AWPN, pp. 51-65 (2010)
14. Marino, S., et al.: A multifaceted approach to modeling the immune response in tuberculosis. Wiley Interdisciplinary Reviews. Systems Biology and Medicine 3(4), 479-489 (2011)
15. Mura, I., Csikász-Nagy, A.: Stochastic Petri Net extension of a yeast cell cycle model. Journal of Theoretical Biology 254(4), 850-860 (2008)
16. Nezhinsky, A., et al.: Pattern Recognition in Bioinformatics. Springer, Heidelberg (2010)
17. Pun, G.: A guide to membrane computing. Theoretical Computer Science 287(1), 73-100 (2002) (Pubitemid 35019161)
18. Reddy, V.N., et al.: Petri net representations in metabolic pathways. In: Proceedings of International Conference on Intelligent Systems for Molecular Biology, ISMB, vol. 1(115), pp. 328-336 (1993)
19. Regev, A., et al.: Representation and simulation of biochemical processes using the picalculus process algebra (2001)
20. Segovia-Juarez, J.L., et al.: Identifying control mechanisms of granuloma formation during M. tuberculosis infection using an agent-based model. Journal of Theoretical Biology 231(3), 357-376 (2004) (Pubitemid 39402949)
21. Stinear, T.P., et al.: Insights from the complete genome sequence of Mycobacterium marinum on the evolution of Mycobacterium tuberculosis. Genome Research 18(5), 729-741 (2008) (Pubitemid 351645063)
22. World Health Organization: Global tuberculosis control: epidemiology, strategy, financing, Geneva (2009)