Skip to main content
SpringerLink
Log in

Structures and Bio-language to Simulate Transition P Systems on Digital Computers

  • Conference paper
  • First Online:
Multiset Processing (WMC 2000)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 2235))

Included in the following conference series:

Abstract

The aim of this paper is to show that some computational models inspired from biological membranes, such as P systems, can be simulated on digital computers in an efficient manner. To this aim, it is necessary to characterize non-determinism and parallel execution of evolution rules inside regions. Both these issues are formally described here in order to obtain a feasible description in terms of data structures and operations able to be implemented in a functional programming language. Static and dynamic structures of transition P systems are formalised in order to define a bio-language to represent them. Finally, a draft of a language for describing a transition P systems is presented. It will facilitate the description of transition P systems in terms of sentences in a high level programming language; such sentences will define a program. A process of compilation will parse the program to appropriate data structures and will launch the execution of the simulation process.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. J.P. Banătre, A. Coutant, D. Le Metayer, A parallel machine for multiset transformation and its programming style, Future Generation Computer Systems, 4 (1988), 133–144.

    Article  Google Scholar 

  2. V. Baranda, J. Castellanos, R. Molina, F. Arroyo, L.F. Mingo, Data structures for implementing transition P systems in silico, Pre-proceedings of Workshop on Multiset Processing, Curtea de Argeş, Romania, TR140, CDMTCS, Univ. Auckland, 2000, 21–34.

    Google Scholar 

  3. G. Berry, G. Boudol, The chemical abstract machine, Theoretical Computer Science, 96(1992), 217–248.

    Article  MATH  MathSciNet  Google Scholar 

  4. Gh. Păun, Computing with membranes, Journal of Computer and Systems Sciences, 61, 1 (2000), 108–143.

    Article  MATH  Google Scholar 

  5. M. Sipper, Studying artificial life using a simple, general cellular model, Artificial Life Journal, 2, 1 (1995), 1–35.

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dpto. de Lenguajes, Proyectos y Sistemas Inform’aticos, Escuela Unversitaria de Inform’atica, Universidad Polit’ecnica de Madrid, Crta. de Valencia Km. 7, 28031, Madrid, Spain

    Fernando Arroyo & Carmen Luengo

  2. Dpto. de Inteligencia Artificial, Facultad de Inform’atica, Universidad Polit’ecnica de Madrid, Campus de Montegancedo, 28660, Madrid, Boadilla del Monte, Spain

    Angel V. Baranda & Juan Castellanos

  3. Dpto. de Organizaci’on y Estructura de la Informaci’on, Escuela Unversitaria de Inform’atica, Universidad Polit’ecnica de Madrid, Crta. de Valencia Km. 7, 28031, Madrid, Spain

    Luis F. Mingo

Authors
  1. Fernando Arroyo
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Angel V. Baranda
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Juan Castellanos
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Carmen Luengo
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Luis F. Mingo
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computer Science Center for Discrete Mathematics and Theoretical Computer Science, University of Auckland, Auckland

    Cristian S. Calude

  2. Institute of Mathematics of the Romanian Academy, Romanian

    Gheorghe PĂun

  3. Leiden Institute for Advanced Computer Science, Leiden University, Leiden

    Grzegorz Rozenberg

  4. Turku Center for Computer Science, TUCS, Turku

    Arto Salomaa

Rights and permissions

Reprints and permissions

Copyright information

© 2001 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Arroyo, F., Baranda, A.V., Castellanos, J., Luengo, C., Mingo, L.F. (2001). Structures and Bio-language to Simulate Transition P Systems on Digital Computers. In: Calude, C.S., PĂun, G., Rozenberg, G., Salomaa, A. (eds) Multiset Processing. WMC 2000. Lecture Notes in Computer Science, vol 2235. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45523-X_1

Download citation

  • DOI: https://doi.org/10.1007/3-540-45523-X_1

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-43063-6

  • Online ISBN: 978-3-540-45523-3

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation