Abstract
We continue the study of generalized P systems with dynamically changing structure based on an associated multiset approximation framework. We consider membrane systems where the applicability of the multiset transformation rules is determined by the approximating multisets of the membrane regions. We consider two cases: First, we study systems with inner rules where we allow only rule applications such that the multisets involved in the rules are part of the lower approximation of the respective regions, then we consider systems with boundary rules where rule application is defined on the boundaries, that is, rules can only manipulate the elements outside of the lower approximation. We show that the second variant benefits from the underlying approximation framework by demonstrating an increase in its computational strength. On the other hand, by presenting an appropriate simulating Petri net, we show that the computational power of systems with inner rule application remains weaker than that of Turing machines (as long as the unsynchronized version is considered).
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
References
Alhazov, A., Aman, B., Freund, R.: P systems with anti-matter. In: Gheorghe, M., Rozenberg, G., Salomaa, A., Sosík, P., Zandron, C. (eds.) CMC 2014. LNCS, vol. 8961, pp. 66–85. Springer, Cham (2014). https://doi.org/10.1007/978-3-319-14370-5_5
Battyányi, P., Mihálydeák, T., Vaszil, G.: Generalized membrane systems with dynamical structure, Petri nets, and multiset approximation spaces. In: 18th International Conference on Unconventional Computation and Natural Computation. UCNC (2019, Accepted)
Bernardini, F., Gheorgue, M., Margenstern, M., Verlan, S.: Networks of cells and Petri nets. In: Díaz-Pernil, D., Graciani, C., Gutiérrez-Naranjo, M.A., Păun, G., Pérez-Hurtado, I., Riscos-Núñez, A. (eds.) Proceedings of the Fifth Brainstorming Week on Membrane Computing, pp. 33–62. Fénix Editora, Sevilla (2007)
Csuhaj-Varjú, E., Gheorghe, M., Stannett, M.: P systems controlled by general topologies. In: Durand-Lose, J., Jonoska, N. (eds.) UCNC 2012. LNCS, vol. 7445, pp. 70–81. Springer, Heidelberg (2012). https://doi.org/10.1007/978-3-642-32894-7_8
Csuhaj-Varjú, E., Gheorghe, M., Stannett, M., Vaszil, G.: Spatially localised membrane systems. Fundamenta Informaticae 138(1–2), 193–205 (2015)
Leporati, A., Manzoni, L., Mauri, G., Porreca, A.E., Zandron, C.: The counting power of P systems with antimatter. Theoret. Comput. Sci. 701, 161–173 (2017)
Mihálydeák, T., Csajbók, Z.E.: Membranes with boundaries. In: Csuhaj-Varjú, E., Gheorghe, M., Rozenberg, G., Salomaa, A., Vaszil, G. (eds.) CMC 2012. LNCS, vol. 7762, pp. 277–294. Springer, Heidelberg (2013). https://doi.org/10.1007/978-3-642-36751-9_19
Mihálydeák, T., Csajbók, Z.E.: On the membrane computations in the presence of membrane boundaries. J. Automata Lang. Comb. 19(1), 227–238 (2014)
Mihálydeák, T., Vaszil, G.: Regulating rule application with membrane boundaries in P systems. In: Rozenberg, G., Salomaa, A., Sempere, J.M., Zandron, C. (eds.) CMC 2015. LNCS, vol. 9504, pp. 304–320. Springer, Cham (2015). https://doi.org/10.1007/978-3-319-28475-0_21
Minsky, M.L.: Computation: Finite and Infinite Machines. Prentice-Hall Inc., Upper Saddle River (1967)
Pawlak, Z.: Rough sets. Int. J. Comput. Inf. Sci. 11(5), 341–356 (1982)
Pawlak, Z.: Rough Sets: Theoretical Aspects of Reasoning about Data. Kluwer Academic Publishers, Dordrecht (1991)
Peterson, J.L.: Petri Net Theory and the Modeling of Systems. Prentice Hall PTR, Upper Saddle River (1981)
Popova-Zeugmann, L.: Time and Petri Nets. Springer, Heidelberg (2013). https://doi.org/10.1007/978-3-642-41115-1
Păun, G.: Computing with membranes. J. Comput. Syst. Sci. 61(1), 108–143 (2000)
Păun, G.: Membrane Computing: An Introduction. Natural Computing Series, 1st edn. Springer, Heidelberg (2002). https://doi.org/10.1007/978-3-642-56196-2
Păun, G., Rozenberg, G., Salomaa, A.: The Oxford Handbook of Membrane Computing. Oxford University Press Inc., New York (2010)
Acknowledgments
G. Vaszil was supported by grant K 120558 of the National Research, Development and Innovation Office of Hungary (NKFIH), financed under the K 16 funding scheme. The work is also supported by the EFOP-3.6.1-16-2016-00022 project, co-financed by the European Union and the European Social Fund.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2019 Springer Nature Switzerland AG
About this paper
Cite this paper
Battyányi, P., Vaszil, G. (2019). Membrane Systems and Multiset Approximation: The Cases of Inner and Boundary Rule Application. In: Mihálydeák, T., et al. Rough Sets. IJCRS 2019. Lecture Notes in Computer Science(), vol 11499. Springer, Cham. https://doi.org/10.1007/978-3-030-22815-6_19
Download citation
DOI: https://doi.org/10.1007/978-3-030-22815-6_19
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-22814-9
Online ISBN: 978-3-030-22815-6
eBook Packages: Computer ScienceComputer Science (R0)