Spiking neural P systems: matrix representation and formal verification

View/ Open
gheorghe_et_al_2021 (2.298Mb)
Download
Publication date
2021-06Keyword
Membrane computingSpiking neural P systems
Petri nets
Kernel P systems
KPWORKBENCH
Formal verification
Rights
(c) 2021 The Authors. This is an Open Access article distributed under the Creative Commons CC-BY license (http://creativecommons.org/licenses/by/4.0/)Peer-Reviewed
YesOpen Access status
Gold