Modeling membrane systems using colored stochastic Petri nets

Natural Computing

Volumn 12, Issue 4, 2013, Pages 617-629

  Liu, Fei ^a   Heiner, Monika ^b  

^a HARBIN INSTITUTE OF TECHNOLOGY   (China)

^b BRANDENBURG UNIVERSITY OF TECHNOLOGY   (Germany)

Author keywords

Colored stochastic Petri nets; Dynamic color sets; Stochastic membrane systems with active membranes; Virus infection

Indexed keywords

ACTIVE MEMBRANES; COLOR SETS; COLORED PETRI NETS; COMPUTATIONAL MODEL; DYNAMIC BEHAVIORS; MODEL MEMBRANE SYSTEMS; STOCHASTIC PETRI NETS; VIRUS INFECTION;

CELLULAR AUTOMATA; PETRI NETS; STOCHASTIC MODELS; STOCHASTIC SYSTEMS; VIRUSES;

COLOR;

ALGORITHM; ANALYTIC METHOD; ARTICLE; COLOR; COLORED STOCHASTIC PETRI NET; MATHEMATICAL ANALYSIS; MATHEMATICAL MODEL; MEMBRANE MODEL; STOCHASTIC MODEL; VIRUS INFECTION;

EID: 84890562030     PISSN: 15677818     EISSN: 15729796     Source Type: Journal    
DOI: 10.1007/s11047-013-9367-8     Document Type: Article

References (23)

1. Agrigoroaiei O, Ciobanu G (2010) Flattening the transition P systems with dissolution. LNCS, vol 6501. Springer, pp 53-64
2. Bernardini F, Gheorghe M, Margenstern M, Verlan S (2007a) Networks of cells and Petri nets. In: Proceedings of 5th brainstorming week on membrane computing, pp 33-62
3. Bernardini F, Gheorghe M, Romero-Campero FJ, Walkinshaw N (2007b) A hybrid approach to modelling biological systems. LNCS, vol 4860. Springer, pp 138-159
4. Charlie (2012) Charlie - a tool for the analysis of place/transition Petri nets. http://www-dssz.informatik.tu-cottbus.de/DSSZ/Software/Charlie
5. Donaldson R, Gilbert D (2008) A model checking approach to the parameter estimation of biochemical pathways. In: Proceedings of the 6th international conference on computational methods in systems biology. LNCS/LNBI, vol 5307. Springer, pp 269-287
6. Gheorghe M, Manca V, Romero-Campero FJ (2010) Deterministic and stochastic P systems for modelling cellular processes. Nat Comput 9(2):457-473
7. Gillespie DT (1977) Exact stochastic simulation of coupled chemical reactions. J Phys Chem 81(25):2340-2361
8. Heiner M, Gilbert D, Donaldson R (2008) Petri nets for systems and synthetic biology. In: Proceedings of the 8th international conference on formal methods for computational systems biology. LNCS, vol 5016. Springer, pp 215-264
9. Heiner M, Herajy M, Liu F, Rohr C, Schwarick M (2012). Snoopy - a unifying Petri net tool. In: Proceedings of PETRI NETS 2012, LNCS, vol 7347. Springer, pp 398-407
10. Heiner M, Lehrack S, Gilbert D, Marwan W (2009) Extended stochastic Petri nets for model-based design of wetlab experiments. Trans Comput Syst Biol XI LNBI 5750:138-163
11. Jensen K (1981) Coloured Petri nets and the invariant-method. Theoret Comput Sci 14(3):317-336
12. Jensen K, Kristensen LM, Wells LM (2007) Coloured Petri nets and CPN tools for modelling and validation of concurrent systems. Int J Softw Tools Technol Transf 9(3/4):213-254
13. Kleijn J, Koutny M (2009) A Petri net model for membrane systems with dynamic structure. Nat Comput 8(4):781-796
14. Kleijn J, Koutny M, Rozenberg G (2006) Towards a Petri net semantics for membrane systems. In: Proceedings of the 6th international workshop on membrane computing, LNCS, vol 3850. Springer, pp 292-309
15. Liu F (2012) Colored Petri nets for systems biology. PhD thesis, Department of Computer Science, Brandenburg University of Technology Cottbus
16. Liu F, Heiner M (2010) Colored Petri nets to model and simulate biological systems. In: Proceedings of international workshop on biological processes and petri nets, satellite event of Petri Nets 2010
17. Liu F, Heiner M, Rohr C (2012) Manual for colored Petri nets in Snoopy. Technical report, 02-12, Department of Computer Science, Brandenburg University of Technology Cottbus. http://www-dssz.informatik.tu-cottbus.de/publications/ btu-reports/Manual-for-colored-Petri
18. Pǎun G (2000) Computing with membranes. J Comput Syst Sci 61:108-143
19. Pǎun G (2002) Membrane computing: an introduction. Springer, Berlin
20. Pǎun G, Rozenberg G, Salomaa A (2010) The Oxford handbook of membrane computing. Oxford University Press, Oxford
21. Qi Z, You J, Mao H (2004) P systems and Petri nets. In: Proceedings of the 5th international workshop of membrane computing, LNCS, vol 2933. Springer, pp 286-303
22. Rohr C, Marwan W, Heiner M (2010) Snoopy - a unifying Petri net framework to investigate biomolecular networks. Bioinformatics 26(7):974-975
23. Spicher A, Michel O, Cieslak M, Giavitto J, Prusinkiewicz P (2008) Stochastic P systems and the simulation of biochemical processes with dynamic compartments. BioSystems 91(3):458-472