Spiking neural P systems: matrix representation and formal verification

被引：0
|
作者：
Marian Gheorghe
Raluca Lefticaru
Savas Konur
Ionuţ Mihai Niculescu
Henry N. Adorna
机构：
[1] University of Bradford,Department of Computer Science
[2] University of Piteşti,Faculty of Science
[3] University of Philippines Diliman,Department of Computer Science (Algorithms and Complexity)
来源：
Journal of Membrane Computing | 2021年 / 3卷
关键词：
Membrane computing; Spiking neural P systems; Petri nets; Kernel P systems; k;  ; Formal verification;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
Structural and behavioural properties of models are very important in development of complex systems and applications. In this paper, we investigate such properties for some classes of SN P systems. First, a class of SN P systems associated to a set of routing problems are investigated through their matrix representation. This allows to make certain connections amongst some of these problems. Secondly, the behavioural properties of these SN P systems are formally verified through a natural and direct mapping of these models into kP systems which are equipped with adequate formal verification methods and tools. Some examples are used to prove the effectiveness of the verification approach.
引用
收藏
页码：133 / 148
页数：15
相关论文
共 50 条
  • [1] Spiking neural P systems: matrix representation and formal verification
    Gheorghe, Marian
    Lefticaru, Raluca
    Konur, Savas
    Niculescu, Ionut Mihai
    Adorna, Henry N.
    JOURNAL OF MEMBRANE COMPUTING, 2021, 3 (02) : 133 - 148
  • [2] Matrix Representation of Spiking Neural P Systems
    Zeng, Xiangxiang
    Adorna, Henry
    Martinez-del-Amor, Miguel Angel
    Pan, Lingiang
    Perez-Jimenez, Mario J.
    MEMBRANE COMPUTING, 2010, 6501 : 377 - 391
  • [3] Towards a general methodology for formal verification on spiking neural P systems
    Perez-Jimenez, Mario J.
    Valencia-Cabrera, Luis
    Orellana-Martin, David
    Ramirez-de-Arellano, Antonio
    THEORETICAL COMPUTER SCIENCE, 2024, 1011
  • [4] Matrix representation and simulation algorithm of numerical spiking neural P systems
    Ballesteros, Korsie J.
    Cailipan, Dionne Peter P.
    de la Cruz, Ren Tristan A.
    Cabarle, Francis George C.
    Adorna, Henry N.
    JOURNAL OF MEMBRANE COMPUTING, 2022, 4 (01) : 41 - 55
  • [5] Matrix representation and simulation algorithm of numerical spiking neural P systems
    Korsie J. Ballesteros
    Dionne Peter P. Cailipan
    Ren Tristan A. de la Cruz
    Francis George C. Cabarle
    Henry N. Adorna
    Journal of Membrane Computing, 2022, 4 : 41 - 55
  • [6] A formal framework for spiking neural P systems
    Sergey Verlan
    Rudolf Freund
    Artiom Alhazov
    Sergiu Ivanov
    Linqiang Pan
    Journal of Membrane Computing, 2020, 2 : 355 - 368
  • [7] A formal framework for spiking neural P systems
    Verlan, Sergey
    Freund, Rudolf
    Alhazov, Artiom
    Ivanov, Sergiu
    Pan, Linqiang
    JOURNAL OF MEMBRANE COMPUTING, 2020, 2 (04) : 355 - 368
  • [8] Matrix representation and simulation algorithm of spiking neural P systems with structural plasticity
    Jimenez, Zechariah B.
    Cabarle, Francis George C.
    de la Cruz, Ren Tristan A.
    Buno, Kelvin C.
    Adorna, Henry N.
    Hernandez, Nestine Hope S.
    Zeng, Xiangxiang
    JOURNAL OF MEMBRANE COMPUTING, 2019, 1 (03) : 145 - 160
  • [9] Matrix representation and simulation algorithm of spiking neural P systems with structural plasticity
    Zechariah B. Jimenez
    Francis George C. Cabarle
    Ren Tristan A. de la Cruz
    Kelvin C. Buño
    Henry N. Adorna
    Nestine Hope S. Hernandez
    Xiangxiang Zeng
    Journal of Membrane Computing, 2019, 1 : 145 - 160
  • [10] A tutorial on the formal framework for spiking neural P systems
    Sergey Verlan
    Gexiang Zhang
    Natural Computing, 2023, 22 : 181 - 194
12345