BRADFORD SCHOLARS

    • Sign in
    View Item 
    •   Bradford Scholars
    • Engineering and Informatics
    • Engineering and Informatics Publications
    • View Item
    •   Bradford Scholars
    • Engineering and Informatics
    • Engineering and Informatics Publications
    • View Item
    JavaScript is disabled for your browser. Some features of this site may not work without it.

    Browse

    All of Bradford ScholarsCommunitiesAuthorsTitlesSubjectsPublication DateThis CollectionAuthorsTitlesSubjectsPublication Date

    My Account

    Sign in

    HELP

    Bradford Scholars FAQsCopyright Fact SheetPolicies Fact SheetDeposit Terms and ConditionsDigital Preservation Policy

    Statistics

    Most Popular ItemsStatistics by CountryMost Popular Authors

    P colonies and kernel P systems

    • CSV
    • RefMan
    • EndNote
    • BibTex
    • RefWorks
    Thumbnail
    View/Open
    Gheorghe_et_al_IJAESAM.pdf (290.8Kb)
    Download
    Publication date
    2018-09
    Author
    Csuhaj-Varju, E.
    Gheorghe, Marian
    Lefticaru, Raluca
    Keyword
    P systems
    P colonies
    Kernel P systems
    Formal verification
    Model checking
    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-y
    Peer-Reviewed
    Yes
    
    Metadata
    Show full item record
    Abstract
    P 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.
    URI
    http://hdl.handle.net/10454/16597
    Version
    Accepted Manuscript
    Citation
    Csuhaj-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.
    Link to publisher’s version
    https://doi.org/10.1007/s12572-018-0224-y
    Type
    Article
    Collections
    Engineering and Informatics Publications

    entitlement

     
    DSpace software (copyright © 2002 - 2023)  DuraSpace
    Quick Guide | Contact Us
    Open Repository is a service operated by 
    Atmire NV
     

    Export search results

    The export option will allow you to export the current search results of the entered query to a file. Different formats are available for download. To export the items, click on the button corresponding with the preferred download format.

    By default, clicking on the export buttons will result in a download of the allowed maximum amount of items.

    To select a subset of the search results, click "Selective Export" button and make a selection of the items you want to export. The amount of items that can be exported at once is similarly restricted as the full export.

    After making a selection, click one of the export format buttons. The amount of items that will be exported is indicated in the bubble next to export format.