A Petri net model for membrane systems with dynamic structure

Natural Computing

Volumn 8, Issue 4, 2009, Pages 781-796

  Kleijn, Jetty ^a   Koutny, MacIej ^b  

^a LEIDEN UNIVERSITY   (Netherlands)

^b NEWCASTLE UNIVERSITY   (United Kingdom)

Author keywords

Causality and concurrency; Dynamic structure; Localities; Membrane systems; P systems; Petri nets; Promoters and inhibitors; Range testing; Synchrony and asynchrony; Thickening and dissolving membranes

Indexed keywords

ARTICLE; CHEMICAL INTERACTION; MATHEMATICAL ANALYSIS; MATHEMATICAL MODEL; MEMBRANE; MEMBRANE STRUCTURE; MOLECULAR EVOLUTION; MOLECULE;

EID: 76849089106     PISSN: 15677818     EISSN: None     Source Type: Journal    
DOI: 10.1007/s11047-008-9101-0     Document Type: Article

References (31)

1. Agrigoroaiei O, Ciobanu G (2008) Rewriting logic specification of membrane systems with promoters and inhibitors. In: 7th WRLA, pp 1-16 (to appear in ENTCS)
2. F Bernardini V Manca 2003 Dynamical aspects of P systems Biosys 70 85 93 10.1016/S0303-2647(03)00032-7 (Pubitemid 36966163)
3. F Bernardini M Gheorghe M Margenstern S Verlan 2007 Producer/consumer in membrane systems and Petri nets Lect Notes Comput Sci 4497 43 52 10.1007/978-3-540-73001-9-5
4. E Best R Devillers 1988 Sequential and concurrent behaviour in Petri net theory Comput Sci 55 87 136 927275
5. Best E, Fernández C (1988) Nonsequential processes. A Petri net view. Springer-Verlag, Berlin
6. A Bogdana G Ciobanu 2007 Translating mobile ambients into P systems Electron Notes Theor Comput Sci 171 11 23 10.1016/j.entcs.2007.05.001 (Pubitemid 46977846)
7. Calude CS, Pǎun Gh, Rozenberg G, Salomaa A (eds) (2001) Multiset processing. Mathematical, computer science, and molecular computing points of view. Lecture notes in computer science, vol 2235. Springer-Verlag, Berlin
8. L Cardelli A Gordon 1998 Mobile ambients Lect Notes Comput Sci 1378 140 155 10.1007/BFb0053547
9. M Cavaliere D Sburlan 2005 Time-independent P systems Lect Notes Comput Sci 3365 239 258
10. G Ciardo 1994 Petri Nets with marking-dependent arc cardinality: properties and analysis Lect Notes Comput Sci 815 179 198 1308057
11. S Dal Zilio E Formenti 2004 On the dynamics of PB systems: a Petri net view Lect Notes Comput Sci 2933 153 167
12. Desel J, Reisig W, Rozenberg G (eds) (2004) Lectures on concurrency and Petri nets. Lecture notes in computer science, vol 3098. Springer-Verlag, Berlin
13. R Freund 2001 Sequential P. systems Rom J Inform Sci Technol 4 77 88
14. R Freund 2005 Asynchronous P systems and P systems working in the sequential mode Lect Notes Comput Sci 3365 36 62 (Pubitemid 41228832)
15. U Goltz W Reisig 1983 The non-sequential behaviour of Petri nets Inform Comput 57 125 147 0551.68050 742704
16. R Janicki PE Lauer M Koutny R Devillers 1986 Concurrent and maximally concurrent evolution of nonsequential systems Theor Comput Sci 43 213 238 0604.68006 10.1016/0304-3975(86)90177-5 855973
17. J Kleijn M Koutny 2006 Synchrony and asynchrony in membrane systems Lect Notes Comput Sci 4361 66 85 10.1007/11963516-5
18. J Kleijn M Koutny 2007 Processes of Petri nets with range testing Fundam Inform 80 199 219 1128.68064 2361951
19. J Kleijn M Koutny 2008 Processes of membrane systems with promoters and inhibitors Comput Sci 404 112 126 1151.68019 2446991
20. Kleijn J, Koutny M (2008b) Petri nets and membrane computing. Technical report CS-TR-1117, also to appear in a handbook on membrane computing
21. J Kleijn M Koutny G Rozenberg 2006 Towards a Petri net semantics for membrane systems Lect Notes Comput Sci 3850 292 309 10.1007/11603047-20 (Pubitemid 43973480)
22. J Kleijn M Koutny G Rozenberg 2006 Process semantics for membrane systems J Autom Lang Comb 11 321 340 1144.68318 2423008
23. C Martín-Vide Gh Pǎun J Pazos A Rodríguez- Patón 2003 Tissue P systems Comput Sci 296 295 326 1045.68063
24. Gh Pǎun 2000 Computing with membranes J Comput Syst Sci 61 108 143 0956.68055 10.1006/jcss.1999.1693 (Pubitemid 30918899)
25. Pǎun Gh (2002) Membrane computing. An Introduction. Springer-Verlag, Berlin
26. Gh Pǎun G Rozenberg 2002 A guide to membrane computing Theor Comput Sci 287 73 100 1061.68054 10.1016/S0304-3975(02)00136-6 (Pubitemid 35019161)
27. Gh Pǎun S Yu 1999 On synchronization in P systems Fundam Inform 38 397 410 1066.68533
28. Z Qi J You H Mao 2004 P systems and Petri nets Lect Notes Comput Sci 2933 286 303
29. Reisig W, Rozenberg G (eds) (1998) Lectures on Petri nets. Lecture notes in computer science, vols 1491 & 1492. Springer-Verlag, Berlin
30. G Rozenberg E Engelfriet 1998 Elementary net systems Lect Notes Comput Sci 1491 12 121
31. M Silva E Teruel JM Colom 1998 Linear algebraic and linear programming techniques for the analysis of place/transition net systems Lect Notes Comput Sci 1491 309 373