Spiking neural P systems: matrix representation and formal verification

DOI10.1007/s41965-021-00075-1zbMath1469.68035OpenAlexW3159063292MaRDI QIDQ1983014

Ionuţ Mihai Niculescu, Raluca Lefticaru, Savas Konur, Marian Gheorghe, Henry N. Adorna

Publication date: 14 September 2021

Published in: Journal of Membrane Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s41965-021-00075-1

zbMATH Keywords

Petri netsformal verificationmembrane computingkernel P-systemsspiking neural P-systemskPWorkbench

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Biologically inspired models of computation (DNA computing, membrane computing, etc.) (68Q07)

Related Items (6)

Formal verification of cP systems using Coq ⋮ Dynamic threshold P systems with delay on synapses for shortest path problems ⋮ A web-based visual simulator for spiking neural P systems ⋮ Languages generated by numerical P systems with thresholds ⋮ A key agreement protocol based on spiking neural P systems with anti-spikes ⋮ Spiking neural P systems and their semantics in Haskell

Uses Software

• SPIN
• NuSMV
• kPWorkbench
• GitHub
• CuSNP

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Generalized communicating P systems
• Reversing computation in membrane systems
• Computing with membranes
• Modelling and validating an engineering application in kernel P systems
• Model-checking of correctness conditions for concurrent objects
• Membrane computing. An introduction.
• A formal framework for spiking neural P systems
• Towards light-weight probabilistic model checking
• Kernel P systems: from modelling to verification and testing
• A survey on temporal logics for specifying and verifying real-time systems
• An Integrated Model Checking Toolset for Kernel P Systems
• 3-Col problem modelling using simple kernel P systems
• Kernel P Systems Modelling, Testing and Verification - Sorting Case Study
• Matrix Representation of Spiking Neural P Systems
• On Structures and Behaviors of Spiking Neural P Systems and Petri Nets
• Dual P Systems
• Conventional Verification for Unconventional Computing: a Genetic XOR Gate Example
• A Formal Framework for Static (Tissue) P Systems
• On Reversibility and Determinism in P Systems

This page was built for publication: Spiking neural P systems: matrix representation and formal verification