Show simple item record

dc.contributor.authorCsuhaj-Varju, E.*
dc.contributor.authorGheorghe, Marian*
dc.contributor.authorLefticaru, Raluca*
dc.date.accessioned2018-10-10T14:14:14Z
dc.date.available2018-10-10T14:14:14Z
dc.date.issued2018-09
dc.identifier.citationCsuhaj-Varju E, Gheorghe M and Lefticaru R (2018) P colonies and kernel P systems. International Journal of Advances in Engineering Sciences and Applied Mathematics. 10(3): 181-192.en_US
dc.identifier.urihttp://hdl.handle.net/10454/16597
dc.descriptionYesen_US
dc.description.abstractP colonies, tissue-like P systems with very simple components, have received constant attention from the membrane computing community and in the last years several new variants of the model have been considered. Another P system model, namely kernel P system, integrating the most successfully used features of membrane systems, has recently attracted interest and some important developments have been reported. In this paper we study connections among several classes of P colonies and kernel P systems, by showing how the behaviour of these P colony systems can be represented as kernel P systems. An example illustrates the way it is modelled by using P colonies and kernel P systems and some properties of it are formally proved in the latter approach.en_US
dc.description.sponsorshipGrant No. K 120558 of the NKFIH—National Research, Development, and Innovation Office, Hungary; Romanian National Authority for Scientific Research, CNCS-UEFISCDI (Project No. PN-III-P4-ID-PCE-2016-0210).en_US
dc.language.isoenen_US
dc.relation.isreferencedbyhttps://doi.org/10.1007/s12572-018-0224-yen_US
dc.rights© Indian Institute of Technology Madras 2018. This is a post-peer-review, pre-copyedit version of an article published in International Journal of Advances in Engineering Sciences and Applied Mathematics. The final authenticated version is available online at: http://dx.doi.org/10.1007/s12572-018-0224-yen_US
dc.subjectP systemsen_US
dc.subjectP coloniesen_US
dc.subjectKernel P systemsen_US
dc.subjectFormal verificationen_US
dc.subjectModel checkingen_US
dc.titleP colonies and kernel P systemsen_US
dc.status.refereedYesen_US
dc.date.Accepted2018-07-18
dc.date.application2018-07-18
dc.typeArticleen_US
dc.type.versionAccepted Manuscripten_US
refterms.dateFOA2018-10-10T14:14:15Z


Item file(s)

Thumbnail
Name:
Gheorghe_et_al_IJAESAM.pdf
Size:
290.8Kb
Format:
PDF

This item appears in the following Collection(s)

Show simple item record