ROMJIST Volume 23, No. 1, 2020, pp. 84-92
Taosheng ZHANG, Fei XU and Tingfang WU A Software Tool for Spiking Neural P Systems
ABSTRACT: Software simulators for spiking neural P systems (SN P systems, for short) are the main tool to experimentally explore the computational properties of these systems. Gutiérrez-Naranjo et al. developed a software tool for generating the transition diagram of an SN P system in an automatic way, which can assist in the formal verification of SN P systems. However, the forms of rules accepted in their simulator are restricted, i.e., the simulator accepts only seven syntactically different types of rules. In this work, a software tool that allows to automatically generate the transition diagram of the SN P system is developed based on Python language, and it can accept any form of rules. Hence, the simulator may play an important role in assisting the verification of SN P systems.KEYWORDS: Membrane computing, Spiking neural P systems, Simulator, Transition diagramRead full text (pdf)