Skip to main content
SpringerLink
Log in

A Formal Framework for Static (Tissue) P Systems

  • Conference paper
Membrane Computing (WMC 2007)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 4860))

Included in the following conference series:

Abstract

The formalism of P systems is known for many years, yet just recently new derivation modes and halting conditions have been proposed. For developing comparable results, a formal description of their functioning, in particular, of the derivation step is necessary. We introduce a formal general framework for static membrane systems that aims to capture most of the essential features of (tissue) P systems and to define their functioning in a formal way.

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. Alhazov, A., Freund, R., Oswald, M., Verlan, S.: Partial versus total halting in P systems. In: Gutiérrez-Naranjo, M.A., Păun, G., Romero-Jiménez, A., Riscos-Núñez, A. (eds.) Proc. Fifth Brainstorming Week on Membrane Computing, Sevilla, pp. 1–20 (2007)

    Google Scholar 

  2. Andrei, O., Ciobanu, G., Lucanu, D.: A rewriting logic framework for operational semantics of membrane systems. Theoretical Computer Science 373(3), 163–181 (2007)

    Article  MATH  MathSciNet  Google Scholar 

  3. Bernardini, F., Gheorghe, M., Margenstern, M., Verlan, S.: Networks of Cells and Petri Nets. In: Gutiérrez-Naranjo, M.A., Păun, G., Romero-Jiménez, A., Riscos-Núñez, A. (eds.) Proc. Fifth Brainstorming Week on Membrane Computing, Sevilla, pp. 33–62 (2007)

    Google Scholar 

  4. Ciobanu, G., Andrei, O., Lucanu, D.: Structural operational semantics of P systems. In: [9], 1–23

    Google Scholar 

  5. Ciobanu, G., Pan, L., Păun, G., Pérez-Jiménez, M.J.: P systems with minimal parallelism. Theoretical Computer Science 378(1), 117–130 (2007)

    Article  MATH  MathSciNet  Google Scholar 

  6. Csuhaj-Varjú, E., Kari, L., Păun, G.: Test tube distributed systems based on splicing. Computers and AI 15(2–3), 211–232 (1996)

    MATH  Google Scholar 

  7. Csuhaj-Varjú, E.: Networks of Language Processors. Current Trends in Theoretical Computer Science, 771–790 (2001)

    Google Scholar 

  8. Dassow, J., Păun, G.: On the power of membrane computing. Journal of Universal Computer Science 5(2), 33–49 (1999)

    MathSciNet  Google Scholar 

  9. Freund, R., Lojka, G., Oswald, M.: Gh. Păun (Eds.): WMC 2006. Pre-Proceedings of Sixth International Workshop on Membrane Computing, Vienna (June 18-21, 2005)

    Google Scholar 

  10. Freund, R., Oswald, M.: P systems with partial halting (accepted, 2007)

    Google Scholar 

  11. Freund, R., Păun, G., Pérez-Jiménez, M.J.: Tissue-like P systems with channel states. Theoretical Computer Science 330, 101–116 (2005)

    Article  MATH  MathSciNet  Google Scholar 

  12. Kleijn, J., Koutny, M., Rozenberg, G.: Towards a Petri net semantics for membrane systems. In: [9] 439–460

    Google Scholar 

  13. Păun, A., Păun, G.: The power of communication: P systems with symport/ antiport. New Generation Computing 20(3), 295–306 (2002)

    Article  MATH  Google Scholar 

  14. Păun, G.: Computing with membranes. J. of Computer and System Sciences 61, 108–143 (2000), TUCS Research Report 208 (1998), http://www.tucs.fi

  15. Păun, G.: Membrane Computing. An Introduction. Springer, Berlin (2002)

    MATH  Google Scholar 

  16. Rogozhin, Y., Alhazov, A., Freund, R.: Computational power of symport/antiport: history, advances, and open problems. In: Freund, R., Păun, G., Rozenberg, G., Salomaa, A. (eds.) WMC 2005. LNCS, vol. 3850, pp. 1–30. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  17. Rozenberg, G., Salomaa, A. (eds.): Handbook of Formal Languages, vol. 3, Springer, Berlin (1997)

    Google Scholar 

  18. Păun, G., Sakakibara, Y., Yokomori, T.: P systems on graphs of restricted forms. Publicationes Matimaticae 60 (2002)

    Google Scholar 

  19. Păun, G., Yokomori, T.: Membrane computing based on splicing. In: Winfree, E., Gifford, D.K. (eds.) DNA Based Computers V. DIMACS Series in Discrete Mathematics and Theoretical Computer Science, vol. 54, pp. 217–232. American Mathematical Society, Providence, RI (1999)

    Google Scholar 

  20. The P Systems Web Page: http://psystems.disco.unimib.it

Download references

Author information

Authors and Affiliations

  1. Faculty of Informatics, Vienna University of Technology, Favoritenstr. 9, 1040 Vienna, Austria

    Rudolf Freund

  2. LACL, Département Informatique, UFR Sciences et Technologie, Université Paris XII, 61, av. Général de Gaulle, 94010 Créteil, France

    Sergey Verlan

Authors
  1. Rudolf Freund
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Sergey Verlan
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

George Eleftherakis Petros Kefalas Gheorghe Păun Grzegorz Rozenberg Arto Salomaa

Rights and permissions

Reprints and permissions

Copyright information

© 2007 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Freund, R., Verlan, S. (2007). A Formal Framework for Static (Tissue) P Systems. In: Eleftherakis, G., Kefalas, P., Păun, G., Rozenberg, G., Salomaa, A. (eds) Membrane Computing. WMC 2007. Lecture Notes in Computer Science, vol 4860. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-77312-2_17

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-77312-2_17

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-77311-5

  • Online ISBN: 978-3-540-77312-2

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation