Abstract
This paper presents a modular approach to causality in membrane systems, using both string and multiset rewriting. In order to deal with membrane systems, the event structures are extended with notions like maximal concurrent transitions and saturated states with respect to concurrency. The event structure of a membrane system is defined in two steps: first the event structure of a maximal parallel step in membranes is defined, and then it is combined with a communication step. The main result of the paper proves that an event structure of a membrane corresponds to its operational semantics. Event structures for communicating membranes are also defined.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Aman, B., Ciobanu, G.: Describing the Immune System Using Enhanced Mobile Membranes. In: Proceedings FBTC (Satellite workshop of CONCUR 2007), pp. 1–14 (2007)
Andrei, O., Ciobanu, G., Lucanu, D.: A Structural Operational Semantics of the P Systems. In: Freund, R., Păun, G., Rozenberg, G., Salomaa, A. (eds.) WMC 2005. LNCS, vol. 3850, pp. 32–49. Springer, Heidelberg (2006)
Andrei, O., Ciobanu, G., Lucanu, D.: Operational Semantics and Rewriting Logic in Membrane Computing. Electronic Notes of Theoretical Computer Sci. 156, 57–78 (2006)
Andrei, O., Ciobanu, G., Lucanu, D.: A Rewriting Logic Framework for Operational Semantics of Membrane Systems. Theoretical Computer Sci. 373, 163–181 (2007)
Besozzi, D., Ciobanu, G.: A P System Description of the Sodium-Potassium Pump. In: Mauri, G., Păun, G., Pérez-Jiménez, M.J., Rozenberg, G., Salomaa, A. (eds.) WMC 2004. LNCS, vol. 3365, pp. 211–223. Springer, Heidelberg (2005)
Busi, N.: Causality in membrane systems. In: Eleftherakis, G., Kefalas, P., Păun, G., Rozenberg, G., Salomaa, A. (eds.) WMC 2007. LNCS, vol. 4860, pp. 160–171. Springer, Heidelberg (2007)
Ciobanu, G., Lucanu, D.: What is an event for membrane systems? In: Pre procedings of Membrane Computing, International Workshop - WMC 8, Thessaloniki, Greece, pp. 255–266 (2007)
Ciobanu, G., Păun, G., Perez-Jimenez, M.J. (eds.): Applications of Membrane Computing. Natural Computing Series. Springer, Heidelberg (2006)
Nielsen, M., Rozenberg, G., Thiagarajan, P.S.: Transition Systems, Event Structures, and Unfoldings. Information and Computation 118, 191–207 (1995)
Păun, G.: Computing with Membranes. Journal of Computer and System Sciences 61, 108–143 (2000)
Păun, G.: Membrane Computing. An Introduction. Springer, Heidelberg (2002)
Sassone, V., Nielsen, M., Winskel, G.: Models for Concurrency: Towards a Classification. Theoretical Computer Sci. 170, 297–348 (1996)
Winskel, G.: Event structures. In: Brauer, W., Reisig, W., Rozenberg, G. (eds.) Advances in Petri Nets 1986. LNCS, vol. 255, pp. 325–392. Springer, Heidelberg (1987)
Winskel, G.: An introduction to event structures. In: de Bakker, J.W., de Roever, W.-P., Rozenberg, G. (eds.) Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency. LNCS, vol. 354, pp. 364–397. Springer, Heidelberg (1989)
Winskel, G., Nielsen, M.: Models for Concurrency. In: Abramsky, S., Gabbay, D., Maibaum, T.S.E. (eds.) Handbook of Logic in Computer Science, Oxford University Press, Oxford (1995)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ciobanu, G., Lucanu, D. (2007). Events, Causality, and Concurrency in Membrane Systems. In: Eleftherakis, G., Kefalas, P., Păun, G., Rozenberg, G., Salomaa, A. (eds) Membrane Computing. WMC 2007. Lecture Notes in Computer Science, vol 4860. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-77312-2_13
Download citation
DOI: https://doi.org/10.1007/978-3-540-77312-2_13
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-77311-5
Online ISBN: 978-3-540-77312-2
eBook Packages: Computer ScienceComputer Science (R0)