Agent-Based Simulation of Kernel P Systems with Division Rules Using FLAME

Lefticaru, Raluca; Macías-Ramos, Luis F.; Niculescu, Ionuț Mihai; Mierlă, Laurenţiu

doi:10.1007/978-3-319-54072-6_18

Cited by 2 publications

(3 citation statements)

References 17 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Other applications emerged in 2016 and 2017 [112][113][114][115] and will continue appearing. In addition, new approaches for the simulation of P systems keep coming up, as it is the case of an interesting agent-based simulator for kernel P systems with division rules [116], from the same team that also developed kPWorkbench [117,162], providing another interesting set of tools for the simulation and verification of kernel P systems.…”

Section: The Era Of Practical Applications Based On P Systemsmentioning

confidence: 99%

An interactive timeline of simulators in membrane computing

et al. 2019

View full text Add to dashboard Cite

As with any fast-emerging research front in computer science, the proliferation of theoretical and practical results within Membrane computing since its appearance in 1998 was astonishing. As a consequence, it became necessary during the subsequent years to produce several surveys collecting the main achievements from a theoretical point of view, along with some specific surveys about simulation tools for this paradigm. As the discipline has reached a certain degree of maturity, more practical applications have arisen, and new collective works are summarising the new software products appeared. However, while these recapitulation efforts remain useful for details about new simulators, they cannot act as exhaustive updated listings, as they become obsolete as soon as new tools are developed. Thus, we considered that it was necessary to provide an interactive tool showing an updated timeline (https ://www.gcn.us.es/Simul ation MC) about the simulation of the computational devices of membrane computing (a.k.a P systems), aiming to stay updated whenever any new practical work comes out in the discipline. This paper recalls the main stages and milestones within the evolution of simulation tools for different types and variants of P systems, along with their main related applications. In addition, it describes the interactive web tool with the timeline mentioned, where all the references related here have been incorporated. Unlike other survey papers, it is the intent of this work to reinforce this initial collective effort with the web endpoint kept alive and updated.

show abstract

Section: The Era Of Practical Applications Based On P Systemsmentioning

confidence: 99%

An interactive timeline of simulators in membrane computing

et al. 2019

View full text Add to dashboard Cite

show abstract

“…Consider kΠ1, the kP system in Section 4.2, n = 5, the tree having nodes {1, 21, 22, 31, 32}, 1 the root, and edges { (1,21), (1,22), (21,31), (21,32)}. Then kΠ1 will have 5 compartments, C1,1, C2,1, C2,2, C3,1, C3,2, and initial multisets w1,1,0 = sd 2 , w2,1,0 = d 2 , w2,2,0 = λ, w3,1,0 = λ, w3,2,0 = λ.…”

Section: Testing Kp Systems Using Automata Based Techniquesmentioning

confidence: 99%

“…Tools, such as kPWorkbench [24], have linked modelling aspects with formal verification and, in particular, model checking [16,24,17]. These tools have also included various simulation capabilities, supported by high performance computing techniques and software platforms [4,31]. Testing methods earlier developed for basic classes of P systems have been extended to kP systems [17].…”

Section: Introductionmentioning

confidence: 99%

Kernel P systems: From modelling to verification and testing

Gheorghe

Ceterchi

Ipate

et al. 2018

Theoretical Computer Science

Self Cite

View full text Add to dashboard Cite

A kernel P system integrates in a coherent and elegant manner some of the most successfully used features of the P systems employed in modelling various applications. It also provides a theoretical framework for analysing these applications and a software environment for simulating and verifying them. In this paper, we illustrate the modelling capabilities of kernel P systems by showing how other classes of P systems can be represented with this formalism and providing a number of kernel P system models for a sorting algorithm and a broadcasting problem. We also show how formal verification can be used to validate that the given models work as desired. Finally, a test generation method based on automata is extended to non-deterministic kernel P systems.

show abstract

Agent-Based Simulation of Kernel P Systems with Division Rules Using FLAME

Cited by 2 publications

References 17 publications

An interactive timeline of simulators in membrane computing

An interactive timeline of simulators in membrane computing

Kernel P systems: From modelling to verification and testing

Contact Info

Product

Resources

About