Abstract
We define and study specific and general causality in terms of multisets of objects and of multisets of rules. We relate the two notions of causality, and provide characterizations for each of them. We give an inductive method of obtaining the general causes of a multiset of objects, and use the general causes of a multiset v to find all the multisets u from which v can be obtained in a single evolution step.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Agrigoroaiei, O., Ciobanu, G.: Rule-Based and Object-Based Event Structures for Membrane Systems. Journal of Logic and Algebraic Programming 79, 295–303 (2010)
Agrigoroaiei, O., Ciobanu, G.: Reversing Computation in Membrane Systems. Journal of Logic and Algebraic Programming 79, 278–288 (2010)
Agrigoroaiei, O., Ciobanu, G.: Flattening the Transition P Systems with Dissolution. In: Gheorghe, M., Hinze, T., Păun, G., Rozenberg, G., Salomaa, A. (eds.) CMC 2010. LNCS, vol. 6501, pp. 53–64. Springer, Heidelberg (2010)
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.: Events, Causality, and Concurrency in Membrane Systems. In: Eleftherakis, G., Kefalas, P., Păun, G., Rozenberg, G., Salomaa, A. (eds.) WMC 2007. LNCS, vol. 4860, pp. 209–227. Springer, Heidelberg (2007)
Freund, R., Verlan, S.: A Formal Framework for Static (Tissue) P Systems. In: Eleftherakis, G., Kefalas, P., Păun, G., Rozenberg, G., Salomaa, A. (eds.) WMC 2007. LNCS, vol. 4860, pp. 271–284. Springer, Heidelberg (2007)
Kleijn, J., Koutny, M., Rozenberg, G.: Towards a Petri Net Semantics for Membrane Systems. In: Freund, R., Păun, G., Rozenberg, G., Salomaa, A. (eds.) WMC 2005. LNCS, vol. 3850, pp. 292–309. Springer, Heidelberg (2006)
Păun, G.: Membrane Computing. An Introduction. Springer, Heidelberg (2002)
Păun, G., Rozenberg, G., Salomaa, A. (eds.): Handbook of Membrane Computing. Oxford University Press (2010)
Pinna, G.M., Saba, A.: An Event Based Semantics of P Systems. Scientific Annals of Computer Science 18, 99–128 (2008)
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)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Agrigoroaiei, O., Ciobanu, G. (2012). Quantitative Causality in Membrane Systems. In: Gheorghe, M., Păun, G., Rozenberg, G., Salomaa, A., Verlan, S. (eds) Membrane Computing. CMC 2011. Lecture Notes in Computer Science, vol 7184. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-28024-5_6
Download citation
DOI: https://doi.org/10.1007/978-3-642-28024-5_6
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-28023-8
Online ISBN: 978-3-642-28024-5
eBook Packages: Computer ScienceComputer Science (R0)