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

Download36 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
Venkata Metta1,*, Kamala Krithivasan2,*, Deepak Garg3,*
  • 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.