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

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… (More)
DOI: 10.1007/978-3-642-32615-8_64

Topics

1 Figure or Table

Slides referencing similar topics