Spiking Neural P Systems Simulation and Verification

Abstract

Spiking Neural (SN) P systems is a particular class of P systems that abstracts and applies ideas from neurobiology. Various aspects, representations and features have been studied extensively, but the tool support for modelling and analysing such systems is relatively limited. In this paper, we present a methodology that maps some classes of SN P systems to the equivalent kernel P system representations, which allows analysing SN P system dynamics using the kPWORKBENCH tool. We illustrate the applicability of our approach in some case studies, including an example system from synthetic biology.