P-Lingua is a programming language for Membrane Computing which aims to be a standard to define P systems. It and its associated tools have been developed by members of the Research Group on Natural Computing, at the University of Seville, Spain. We provide P-Lingua and its associated tools as a free and reusable package for the development of software/hardware applications capable of simulate P system computations.

References in zbMATH (referenced in 33 articles , 3 standard articles )

Showing results 1 to 20 of 33.
Sorted by year (citations)

1 2 next

  1. Rubio, Rubén; Martí-Oliet, Narciso; Pita, Isabel; Verdejo, Alberto: Simulating and model checking membrane systems using strategies in Maude (2022)
  2. Alhazov, Artiom; Leporati, Alberto; Manzoni, Luca; Mauri, Giancarlo; Zandron, Claudio: Alternative space definitions for P systems with active membranes (2021)
  3. Liu, Yezhou; Nicolescu, Radu; Sun, Jing; Henderson, Alec: A sublinear Sudoku solution in cP systems and its formal verification (2021)
  4. Liu, Yezhou; Nicolescu, Radu; Sun, Jing: Formal verification of cP systems using PAT3 and ProB (2020)
  5. Valencia-Cabrera, Luis; Pérez-Hurtado, Ignacio; Martínez-del-Amor, Miguel Á.: Simulation challenges in membrane computing (2020)
  6. Valencia-Cabrera, Luis; Song, Bosheng: Tissue P systems with promoter simulation with MeCoSim and P-Lingua framework (2020)
  7. Buiu, Cătălin; Florea, Andrei George: Membrane computing models and robot controller design, current results and challenges (2019)
  8. Cooper, James; Nicolescu, Radu: Alternative representations of P systems solutions to the graph colouring problem (2019)
  9. Buño, Kelvin C.; Cabarle, Francis George C.; Calabia, Marj Darrel; Adorna, Henry N.: Solving the N-queens problem using dP systems with active membranes (2018)
  10. Pan, Linqiang; Song, Bosheng; Valencia-Cabrera, Luis; Pérez-Jiménez, Mario J.: The computational complexity of tissue P systems with evolutional symport/antiport rules (2018)
  11. Valencia-Cabrera, Luis; Martínez-del-Amor, Miguel Á.; Pérez-Hurtado, Ignacio: A simulation workflow for membrane computing: from mecosim to PMCGPU through (\mathrmP)-lingua (2018)
  12. Wu, Tingfang; Wang, Yanfeng; Jiang, Suxia; Su, Yansen; Shi, Xiaolong: Spiking neural P systems with rules on synapses and anti-spikes (2018)
  13. Aman, Bogdan; Ciobanu, Gabriel: Modelling and verification of weighted spiking neural systems (2016)
  14. Martínez-del-Amor, Miguel A.; Macías-Ramos, Luis F.; Valencia-Cabrera, Luis; Pérez-Jiménez, Mario J.: Parallel simulation of population dynamics P systems: updates and roadmap (2016)
  15. Macías-Ramos, Luis F.; Martínez-del-Amor, Miguel A.; Pérez-Jiménez, Mario J.: Simulating FRSN P systems with real numbers in P-Lingua on sequential and CUDA platforms (2015)
  16. Maroosi, Ali; Muniyandi, Ravie Chandren: Accelerated execution of P systems with active membranes to solve the (N)-queens problem (2014)
  17. Martínez-del-Amor, Miguel A.; Pérez-Hurtado, Ignacio; García-Quismondo, Manuel; Macías-Ramos, Luis F.; Valencia-Cabrera, Luis; Romero-Jiménez, Álvaro; Graciani, Carmen; Riscos-Núñez, Agustín; Colomer, Mari A.; Pérez-Jiménez, Mario J.: DCBA: simulating population dynamics P systems with proportional object distribution (2013)
  18. Salehi, Einallah; Shamsuddin, Siti Mariyam; Nemati, Kourosh: A linear time complexity of breadth-first search using P system with membrane division (2013)
  19. Cecilia, José M.; García, José M.; Guerrero, Ginés D.; Martínez-del-Amor, Miguel A.; Pérez-Jiménez, Mario J.; Ujaldón, Manuel: The GPU on the simulation of cellular computing models (2012) ioport
  20. Colomer, M. Angels; Pérez-Hurtado, Ignacio; Pérez-Jiménez, Mario J.: Comparing simulation algorithms for multienvironment probabilistic P systems over a standard virtual ecosystem (2012)

1 2 next