Abstract
Spiking Neural P(SN P) system with anti-spikes uses two types of objects called spikes and anti-spikes which can encode binary digits in a natural way. We propose a formal method based on Petri nets, which provides a natural and powerful framework to formalize SN P systems with anti-spikes. This enables the use of existing tools for Petri nets to study the computability and behavioural properties of SN P systems with anti-spikes.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Ionescu, M., Păun, G., Yokomori, T.: Spiking Neural P Systems. Fund. Infor. 71, 279–308 (2006)
Jensen, K.: A Brief Introduction to Coloured Petri Nets. In: Brinksma, E. (ed.) TACAS 1997. LNCS, vol. 1217, pp. 203–208. Springer, Heidelberg (1997)
Kleijn, J., Koutny, M.: A Petri net model for membrane systems with dynamic structure. Natural Computing 8(4), 781–796 (2009)
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)
Linqiang, P., Păun, G.: Spiking Neural P Systems with Anti-Spikes. Int. J. of Computers, Communications and Control 4, 273–282 (2009)
Păun, G.: Spiking Neural P Systems Used as Acceptors and Transducers. In: Holub, J., Žďárek, J. (eds.) CIAA 2007. LNCS, vol. 4783, pp. 1–4. Springer, Heidelberg (2007)
Reisig, W., Rozenberg, G. (eds.): APN 1998. LNCS, vol. 1491, 1492. Springer, Heidelberg (1998)
Venkata Padmavati, M., Kamala, K., Deepak, G.: Modeling Spiking Neural P systems using Timed Petri nets. In: Int. Conf. on Nature and Biologically Inspired Computing (NaBIC 2009). IEEE Xplore (2009)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 ICST Institute for Computer Science, Social Informatics and Telecommunications Engineering
About this paper
Cite this paper
Metta, V.P., Krithivasan, K., Garg, D. (2012). Representation of Spiking Neural P Systems with Anti-spikes through Petri Nets. In: Suzuki, J., Nakano, T. (eds) Bio-Inspired Models of Network, Information, and Computing Systems. BIONETICS 2010. Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, vol 87. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-32615-8_64
Download citation
DOI: https://doi.org/10.1007/978-3-642-32615-8_64
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-32614-1
Online ISBN: 978-3-642-32615-8
eBook Packages: Computer ScienceComputer Science (R0)