Show simple item record

dc.contributor.authorGheorghe, Marian
dc.contributor.authorLefticaru, Raluca
dc.contributor.authorKonur, Savas
dc.contributor.authorNiculescu, I.M.
dc.contributor.authorAdorna, H.N.
dc.date.accessioned2021-04-28T10:53:26Z
dc.date.accessioned2021-05-18T07:32:50Z
dc.date.available2021-04-28T10:53:26Z
dc.date.available2021-05-18T07:32:50Z
dc.date.issued2021-06
dc.date.issued2021-06
dc.identifier.citationGheorghe M, Lefticaru R, Konur S et al (2021) Spiking neural P systems: matrix representation and formal verification. Journal of Membrane Computing. 3: 133-148.en_US
dc.identifier.urihttp://hdl.handle.net/10454/18471
dc.identifier.urihttp://hdl.handle.net/10454/18471
dc.descriptionYesen_US
dc.description.abstractStructural 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.en_US
dc.description.sponsorshipEPSRC research grant EP/R043787/1; DOST-ERDT research grants; Semirara Mining Corp; UPD-OVCRD;en_US
dc.language.isoenen_US
dc.publisherSpringer
dc.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/)en_US
dc.subjectMembrane computingen_US
dc.subjectSpiking neural P systemsen_US
dc.subjectPetri netsen_US
dc.subjectKernel P systemsen_US
dc.subjectKPWORKBENCHen_US
dc.subjectFormal verificationen_US
dc.titleSpiking neural P systems: matrix representation and formal verificationen_US
dc.status.refereedYesen_US
dc.date.application2021-04-27
dc.typeArticleen_US
dc.type.versionPublished versionen_US
dc.identifier.doihttps://doi.org/10.1007/s41965-021-00075-1
dc.date.updated2021-04-28T09:53:33Z
refterms.dateFOA2021-05-18T07:33:09Z
dc.openaccess.statusGolden_US
dc.date.accepted2021-03-24


Item file(s)

Thumbnail
Name:
Gheorghe2021_Article_SpikingNe ...
Size:
2.298Mb
Format:
PDF
Description:
gheorghe_et_al_2021

This item appears in the following Collection(s)

Show simple item record