Membrane Systems with Qualitative Evolution Rules

• Autorzy: Kleijn J. , Koutny M.
• Języki publikacji: EN

Abstrakty

EN

In membrane systems, biochemical reactions taking place in the compartments of a cell are abstracted to evolution rules that specify which and how many objects are consumed and produced. The recently proposed reaction systems also investigate processes carried by biochemical reactions, but the resulting computational model is remarkably different. A key difference is that in reaction systems, biochemical reactions are modeled using a qualitative rather than a quantitative approach. In this paper, we introduce so-called set membrane systems, a variant of membrane systems with qualitative evolution rules inspired by reaction systems. We then relate set membrane systems to Petri nets which leads to a new class of Petri nets: set-nets with localities. This Petri net model provides a faithful match with the operational semantics of set membrane systems.

Słowa kluczowe

EN

membrane system; reaction systems; biochemistry; natural computing; Petri net; set-net; locality; inhibitor; promoter

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 2011
• Tom: Vol. 110, nr 1-4
• Strony: 217--230
• Opis fizyczny: Bibliogr. 19 poz.

Twórcy

autor

Kleijn J.

autor

Koutny M.

• LIACS, Leiden University, P.O. Box 9512, 2300 RA Leiden, The Netherlands,

Bibliografia

• [1] Alhazov, A.: P SystemsWithoutMultiplicities of Symbol-objects. Information Processing Letters 100 (2006) 124-129
• [2] Ehrenfeucht, A., Main, M., Rozenberg, G.: Combinatorics of Life and Death for Reaction Systems. International Journal of Foundations of Computer Science 22 (2009) 345-356
• [3] Ehrenfeucht, A., Rozenberg, G.: Reaction Systems. Fundamenta Informaticae 76 (2006) 1-18
• [4] Ehrenfeucht, A., Rozenberg, G.: Events and Modules in Reaction Systems. Theoretical Computer Science 376 (2007) 3-16
• [5] Ibarra, O.H., Dang, Z., Egecioglu, O.: Catalytic P Systems, Semilinear Sets, and Vector Addition Systems. Theoretical Computer Science 312 (2004) 379-399
• [6] Ibarra, O.H., Ye, H.C., Dang, Z.: The Power of Maximal Parallelism in P Systems. Lecture Notes in Computer Science 3340 (2004)
• [7] Kleijn, H.C.M., Koutny,M.: Process Semantics of General Inhibitor Nets. Information and Computation 190 (2004) 18-69
• [8] Kleijn, J., Koutny,M.: Processes ofMembrane systems with Promoters and Inhibitors. Theoretical Computer Science 404 (2008) 112-126
• [9] Kleijn, H.C.M., Koutny,M., Pietkiewicz-Koutny,M., Rozenberg, G.: Region Based Set-net Synthesis. Technical Report (2011)
• [10] Kleijn, H.C.M., Koutny, M., Rozenberg, G.: Towards a Petri Net Semantics for Membrane Systems. In: Freund, R., Paun, G., Rozenberg, G., Salomaa, A. (eds.): WMC 2005. Lecture Notes in Computer Science 3850. Springer-Verlag, Berlin Heidelberg New York (2006) 292-309
• [11] Kleijn, H.C.M., Koutny, M., Rozenberg, G.: Modelling Reaction Systems with Petri Nets. Technical Report (2011)
• [12] Pǎun, G.: Computing with Membranes. J. Comput. Syst. Sci. 61 (2000) 108-143
• [13] Pǎun, G.: Membrane Computing, An Introduction. Springer-Verlag, Berlin Heidelberg New York (2002)
• [14] Pǎun, G., Rozenberg, G.: A Guide to Membrane Computing. Theoretical Computer Science 287 (2002) 73-100
• [15] Pǎun, G., Rozenberg, G., Salomaa, A.: The Oxford Handbook of Membrane Computing. Oxford University Press (2009)
• [16] Rozenberg, G., Engelfriet, J.: Elementary Net Systems. Lectures on Petri Nets I: Basic Models, W.Reisig and G.Rozenberg (eds.), Lecture Notes in Computer Science 1491, Springer-Verlag, Berlin Heidelberg New York (2006) 173-187
• [17] Rozenberg, G., Verraedt, R.: Subset Languages of Petri Nets Part I: The Relationship to String Languages and Normal Forms. Theoretical Computer Science 26 (1983) 301-326
• [18] Rozenberg, G., Verraedt, R.: Subset Languages of Petri Nets Part II: Closure Properties. Theoretical Computer Science 27 (1983) 85-108
• [19] Membrane systems web page (2011) http://ppage.psystems.eu/