Show simple item record

dc.contributor.authorKonur, Savas
dc.contributor.authorMierla, L.M.
dc.contributor.authorIpate, F.
dc.contributor.authorGheorghe, Marian
dc.date.accessioned2020-09-28T14:01:19Z
dc.date.available2020-09-28T14:01:19Z
dc.date.issued2020
dc.identifier.citationKonur S, Mierla L, Ipate F et al (2020) kPWorkbench: A software suit for membrane systems. SoftwareX. 11: 100407.en_US
dc.identifier.urihttp://hdl.handle.net/10454/18044
dc.descriptionYesen_US
dc.description.abstractMembrane computing is a new natural computing paradigm inspired by the functioning and structure of biological cells, and has been successfully applied to many different areas, from biology to engineering. In this paper, we present kPWorkbench, a software framework developed to support membrane computing and its applications. kPWorkbench offers unique features, including modelling, simulation, agent-based high performance simulation and verification, which allow modelling and computational analysis of membrane systems. The kPWorkbench formal verification component provides the opportunity to analyse the behaviour of a model and validate that important system requirements are met and certain behaviours are observed. The platform also features a property language based on natural language statements to facilitate property specification.en_US
dc.description.sponsorshipEPSRCen_US
dc.language.isoenen_US
dc.rights(c) 2020 The Authors. This is an Open Access article distributed under the Creative Commons CC-BY-NC-ND license (http://creativecommons.org/licenses/by-nc-nd/4.0/)en_US
dc.subjectMembrane computingen_US
dc.subjectModellingen_US
dc.subjectSimulationen_US
dc.subjectAgent-based simulationen_US
dc.subjectVerificationen_US
dc.subjectSynthetic biologyen_US
dc.titlekPWorkbench: A software suit for membrane systemsen_US
dc.status.refereedYesen_US
dc.date.Accepted2020-01-23
dc.date.application2020-01-29
dc.typeArticleen_US
dc.type.versionPublished versionen_US
dc.identifier.doihttps://doi.org/10.1016/j.softx.2020.100407
refterms.dateFOA2020-09-28T14:02:27Z


Item file(s)

Thumbnail
Name:
konur_et_al_2020.pdf
Size:
813.4Kb
Format:
PDF

This item appears in the following Collection(s)

Show simple item record