Loading...
Spiking Neural P Systems Simulation and Verification
Lefticaru, Raluca Gheorghe, Marian Konur, Savas Niculescu, I.M. Adorna, H.N.
Lefticaru, Raluca
Gheorghe, Marian
Konur, Savas
Niculescu, I.M.
Adorna, H.N.
Publication Date
2021-03-27
End of Embargo
Supervisor
Keywords
Rights
(c) 2021 IEEE. Full-text reproduced in accordance with the publisher's self-archiving policy.
Peer-Reviewed
Yes
Open Access status
openAccess
Accepted for publication
2020-10-13
Institution
Department
Awarded
Embargo end date
Abstract
Spiking Neural (SN) P systems is a particular class of P systems that abstracts and applies ideas from neurobiology. Various aspects, representations and features have been studied extensively, but the tool support for modelling and analysing such systems is relatively limited. In this paper, we present a methodology that maps some classes of SN P systems to
the equivalent kernel P system representations, which allows
analysing SN P system dynamics using the kPWORKBENCH tool.
We illustrate the applicability of our approach in some case studies, including an example system from synthetic biology.
Version
Accepted manuscript
Citation
Lefticaru R, Gheorghe M, Konur S et al (2020) Spiking Neural P Systems Simulation and Verification. 18th International Conference on High Performance Computing & Simulation (HPCS 2020) 22-27 Mar 2021. Barcelona, Spain.
Link to publisher’s version
Link to published version
Link to Version of Record
Type
Conference paper