Research Article
Representation of Spiking Neural P Systems with Anti-spikes through Petri Nets
434 downloads
@INPROCEEDINGS{10.1007/978-3-642-32615-8_64, author={Venkata Metta and Kamala Krithivasan and Deepak Garg}, title={Representation of Spiking Neural P Systems with Anti-spikes through Petri Nets}, proceedings={Bio-Inspired Models of Network, Information, and Computing Systems. 5th International ICST Conference, BIONETICS 2010, Boston, USA, December 1-3, 2010, Revised Selected Papers}, proceedings_a={BIONETICS}, year={2012}, month={10}, keywords={}, doi={10.1007/978-3-642-32615-8_64} }
- Venkata Metta
Kamala Krithivasan
Deepak Garg
Year: 2012
Representation of Spiking Neural P Systems with Anti-spikes through Petri Nets
BIONETICS
Springer
DOI: 10.1007/978-3-642-32615-8_64
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.
Copyright © 2010–2024 ICST