Abstract
In this paper we investigate dynamic causalities in membrane systems by proposing the concept of “predictor”, originally defined in the context of Ehrenfeucht and Rozemberg’s reaction systems. The goal is to characterize sufficient conditions for the presence of a molecule of interest in the configuration of a P system after a given number of evolution steps (independently from the non-deterministic choices taken). Such conditions can be used to study causal relationships between molecules. To achieve our goal, we introduce the new concept of “multiset pattern” representing a logical formula on multisets. A predictor can be expressed as a pattern characterizing the initial multisets that will surely lead (sufficient condition) to the presence of the molecule of interest after the given number of evolution steps. We define also an operator that computes such a predictor.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
References
Barbuti, R., Gori, R., Levi, F., Milazzo, P.: Specialized predictor for reaction systems with context properties. In: Proceedings of the 24th International Workshop on Concurrency, Specification and Programming, CS&P 2015, pp. 31–43 (2015)
Barbuti, R., Gori, R., Levi, F., Milazzo, P.: Investigating dynamic causalities in reaction systems. Theor. Comput. Sci. 623, 114–145 (2016)
Barbuti, R., Gori, R., Levi, F., Milazzo, P.: Specialized predictor for reaction systems with context properties. Fundamenta Informaticae 147(2–3), 173–191 (2016)
Barbuti, R., Gori, R., Levi, F., Milazzo, P.: Generalized contexts for reaction systems: definition and study of dynamic causalities. Acta Informatica (2017). https://doi.org/10.1007/s00236-017-0296-3
Barbuti, R., Maggiolo-Schettini, A., Milazzo, P., Tini, S.: Flat form preserving step-by-step behaviour. Fundamenta Informaticae 87, 1–34 (2008)
Bodei, C., Gori, R., Levi, F.: An analysis for causal properties of membrane interactions. Electron. Notes Theor. Comput. Sci. 299, 15–31 (2013)
Bodei, C., Gori, R., Levi, F.: Causal static analysis for brane calculi. Theor. Comput. Sci. 587, 73–103 (2015)
Brijder, R., Ehrenfeucht, A., Main, M.G., Rozenberg, G.: A tour of reaction systems. Int. J. Found. Comput. Sci. 22(7), 1499–1517 (2011)
Brijder, R., Ehrenfeucht, A., Rozenberg, G.: A Note on causalities in reaction systems. ECEASST 30 (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). https://doi.org/10.1007/978-3-540-77312-2_10
Ehrenfeucht, A., Rozenberg, G.: Reaction systems. Fundamenta Informaticae 75(1–4), 263–280 (2007)
Gori, R., Levi, F.: Abstract interpretation based verification of temporal properties for bioambients. Inf. Comput. 208(8), 869–921 (2010)
Pǎun, G.: Computing with membranes. J. Comput. Syst. Sci. 61, 108–143 (2000)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer International Publishing AG
About this paper
Cite this paper
Barbuti, R., Gori, R., Milazzo, P. (2018). Multiset Patterns and Their Application to Dynamic Causalities in Membrane Systems. In: Gheorghe, M., Rozenberg, G., Salomaa, A., Zandron, C. (eds) Membrane Computing. CMC 2017. Lecture Notes in Computer Science(), vol 10725. Springer, Cham. https://doi.org/10.1007/978-3-319-73359-3_4
Download citation
DOI: https://doi.org/10.1007/978-3-319-73359-3_4
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-73358-6
Online ISBN: 978-3-319-73359-3
eBook Packages: Computer ScienceComputer Science (R0)