P-Lingua

MaRDI QIDQ39432swMATHFDO

Official website http://www.p-lingua.org/wiki/index.php/Main_Page

Described by source

• Simulating FRSN P systems with real numbers in P-Lingua on sequential and CUDA platforms
• An overview of P-Lingua 2.0
• A P-Lingua based simulator for tissue P systems

Cited in

(38)

• Simulating and model checking membrane systems using strategies in Maude
• Designing a new software tool for digital imagery based on P systems
• A simulation workflow for membrane computing: from MeCoSim to PMCGPU through P-Lingua
• DCBA: simulating population dynamics P systems with proportional object distribution
• Parallel simulation of population dynamics P systems: updates and roadmap
• Simulating a P system based efficient solution to SAT by using GPUs
• Test generation from P systems using model checking
• A sublinear Sudoku solution in cP systems and its formal verification
• Current developments on computational modeling using P systems
• The computational complexity of tissue P systems with evolutional symport/antiport rules
• Alternative space definitions for P systems with active membranes
• Membrane computing models and robot controller design, current results and challenges
• Tissue P systems with promoter simulation with MeCoSim and P-Lingua framework
• Simulation challenges in membrane computing
• Solving the N-queens problem using dP systems with active membranes
• Accelerated execution of P systems with active membranes to solve the \(N\)-queens problem
• Spiking neural P systems with rules on synapses and anti-spikes
• Alternative representations of P systems solutions to the graph colouring problem
• Formal verification of P systems with active membranes through model checking
• pLinguaCore
• jSpin
• BioSPI
• MeCoSim
• PMCGPU
• WebPS
• Psim
• Electron
• CuSNP
• Formal verification of cP systems using PAT3 and ProB
• Comparing simulation algorithms for multienvironment probabilistic P systems over a standard virtual ecosystem
• CiteSpace
• Evolutionary design of a simple membrane system
• Modelling and verification of weighted spiking neural systems
• A computational modeling for real ecosystems based on P systems
• An empirical evaluation of P system testing techniques
• Spatial calculus of looping sequences
• A linear time complexity of breadth-first search using P system with membrane division
• The environment as a frontier of efficiency in tissue P systems with communication rules

This page was built for software: P-Lingua