Romanian Journal of Information Science and Technology (ROMJIST)

An open – access publication

  |  HOME  |   GENERAL INFORMATION  |   ROMJIST ON-LINE  |  KEY INFORMATION FOR AUTHORS  |   COMMITTEES  |  

ROMJIST is a publication of Romanian Academy,
Section for Information Science and Technology

Editor – in – Chief:
Academician Dan Dascalu

Secretariate (office):
Adriana Neagu
Adress for correspondence: romjist@nano-link.net (after 1st of January, 2019)

Editing of the printed version: Mihaela Marian (Publishing House of the Romanian Academy, Bucharest)

Technical editor
of the on-line version:
Lucian Milea (University POLITEHNICA of Bucharest)

Sponsors:
• National Institute for R & D
in Microtechnologies
(IMT Bucharest), www.imt.ro
• Association for Generic
and Industrial Technologies (ASTEGI), www.astegi.ro

ROMJIST Volume 23, No. 1, 2020, pp. 84-92, Paper no. 639/2020
 

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 diagram

Read full text (pdf)






  |  HOME  |   GENERAL INFORMATION  |   ROMJIST ON-LINE  |  KEY INFORMATION FOR AUTHORS  |   COMMITTEES  |