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:
Radu-Emil Precup

Honorary Co-Editors-in-Chief:
Horia-Nicolai Teodorescu
Gheorghe Stefan

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

Founding Editor-in-Chief
(until 10th of February, 2021):
Dan Dascalu

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)

Sponsor:
• National Institute for R & D
in Microtechnologies
(IMT Bucharest), www.imt.ro

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 diagram

Read full text (pdf)






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