Abstract
Natural computing is a field of research that tries to imitate the ways of “computing” in nature. Membrane computing is a branch of natural computing that exploits hierarchically nested membrane structures that are associated with multisets of objects. The key notion is the P-system, which describes the transitions by rules for the creation, elimination and wandering of objects through membranes as well as manipulation of the membrane structure as such. In this short paper we sketch how P-systems can be captured by parallel ASMs. We further give a glimpse of further generalisations in several directions.
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
Notes
- 1.
In particular, if we think about the rules expressing chemical reactions on molecules as objects, such asynchronous behaviour much better the time-consuming nature of such processes.
References
Banach, R., Zhu, H., Su, W., Wu, X.: A continuous ASM modelling approach to pacemaker sensing. ACM Trans. Softw. Eng. Methodol. 24(1), 2:1–2:40 (2014)
Börger, E., Schewe, K.D.: Concurrent abstract state machines. Acta Informatica 53(5), 469–492 (2016)
Börger, E., Cisternino, A., Gervasi, V.: Ambient abstract state machines with applications. J. Comput. Syst. Sci. 78(3), 939–959 (2012)
Börger, E., Stärk, R.: Abstract State Machines. Springer, Heidelberg (2003). https://doi.org/10.1007/978-3-642-18216-7
Ferrarotti, F., Schewe, K.-D., Tec, L.: A behavioural theory for reflective sequential algorithms. In: Petrenko, A.K., Voronkov, A. (eds.) PSI 2017. LNCS, vol. 10742, pp. 117–131. Springer, Cham (2018). https://doi.org/10.1007/978-3-319-74313-4_10
Ferrarotti, F., Schewe, K.D., Tec, L., Wang, Q.: A new thesis concerning synchronised parallel computing - simplified parallel ASM thesis. Theor. Comput. Sci. 649, 25–53 (2016)
Martín-Vide, C., Păun, G., Rodríguez-Patón, A.: On P systems with membrane creation. Comput. Sci. J. Moldova 9(2), 134–145 (2001)
Petre, I., Petre, L.: Mobile ambients and P-systems. J. UCS 5(9), 588–598 (1999)
Păun, G.: Membrane computing. In: Meyers, R.A. (ed.) Encyclopedia of Complexity and Systems Science, pp. 5523–5535. Springer, Heidelberg (2009). https://doi.org/10.1007/978-0-387-30440-3_328
Păun, G., Rozenberg, G., Salomaa, A.: DNA Computing - New Computing Paradigms. An EATCS Series. Springer, Heidelberg (1998). https://doi.org/10.1007/978-3-662-03563-4
Schewe, K.D.: Concurrent reflective abstract state machines. In: Jebelean, T., et al. (eds.) 19th Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2017). IEEE (2018, to appear)
Schewe, K.D., Wang, Q.: Partial updates in complex-value databases. In: Information Modelling and Knowledge Bases XXII (EJC 2010). Frontiers in Artificial Intelligence and Applications, vol. 225, pp. 37–56. IOS Press (2010)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer International Publishing AG, part of Springer Nature
About this paper
Cite this paper
Schewe, KD., Tec, L., Wang, Q. (2018). Capturing Membrane Computing by ASMs. In: Butler, M., Raschke, A., Hoang, T., Reichl, K. (eds) Abstract State Machines, Alloy, B, TLA, VDM, and Z. ABZ 2018. Lecture Notes in Computer Science(), vol 10817. Springer, Cham. https://doi.org/10.1007/978-3-319-91271-4_27
Download citation
DOI: https://doi.org/10.1007/978-3-319-91271-4_27
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-91270-7
Online ISBN: 978-3-319-91271-4
eBook Packages: Computer ScienceComputer Science (R0)