Representation of Spiking Neural P Systems with Anti-spikes through Petri Nets

Venkata Metta; Kamala Krithivasan; Deepak Garg

Bio-Inspired Models of Network, Information, and Computing Systems. 5th International ICST Conference, BIONETICS 2010, Boston, USA, December 1-3, 2010, Revised Selected Papers

Research Article

Representation of Spiking Neural P Systems with Anti-spikes through Petri Nets

Download

400 downloads

Cite: BibTeX Plain Text

@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

Venkata Metta¹^,*, Kamala Krithivasan²^,*, Deepak Garg³^,*

1: Bhilai Institute of Technology
2: Indian Institute of Technology
3: Thapar University

*Contact email: vmetta@gmail.com, kamala@iitm.ac.in, deep108@yahoo.com

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.

Published: 2012-10-18

: http://dx.doi.org/10.1007/978-3-642-32615-8_64