Skip to main content
SpringerLink
Log in

Towards a Petri Net Semantics for Membrane Systems

  • Conference paper
Book cover Membrane Computing (WMC 2005)

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

Included in the following conference series:

Abstract

We consider the modelling of the behaviour of membrane systems using Petri nets. First, a systematic, structural link is established between a basic class of membrane systems and Petri nets. To capture the compartmentisation of membrane systems, localities are proposed as an extension of Petri nets. This leads to a locally maximal concurrency semantics for Petri nets. We indicate how processes for these nets could be defined which should be of use in order to describe what is actually going on during a computation of a membrane system.

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. Membrane systems web page: http://psystems.disco.unimib.it/

  2. Best, E., Koutny, M.: Petri net semantics of priority systems. Theoretical Computer Science 96, 175–215 (1992)

    Article  MATH  MathSciNet  Google Scholar 

  3. Calude, C.S., Păun, G., Rozenberg, G., Salomaa, A.: Multiset Processing. Mathematical, Computer Science, and Molecular Computing Points of View. LNCS, vol. 2235, p. 359. Springer, Heidelberg (2001)

    Google Scholar 

  4. Cavaliere, M., Sburlan, D.: Time-independent P systems. In: Mauri, G., Păun, G., Jesús Pérez-Jímenez, M., Rozenberg, G., Salomaa, A. (eds.) WMC 2004. LNCS, vol. 3365, pp. 239–258. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  5. Dal Zilio, S., Formenti, E.: On the dynamics of PB systems: a Petri net view. In: Martín-Vide, C., Mauri, G., Păun, G., Rozenberg, G., Salomaa, A. (eds.) WMC 2003. LNCS, vol. 2933, pp. 153–167. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  6. Dufourd, C.: Réseaux de Petri avec Reset/Transfert: Décidabilité et Indécidabilité. PhD Thesis, ENS Cachan (1998)

    Google Scholar 

  7. Esparza, J., Römer, S., Vogler, W.: An improvement of McMillan’s unfolding algorithm. Formal Methods in System Design 20, 285–310 (2002)

    Article  MATH  Google Scholar 

  8. Freund, R.: Asynchronous P systems and P systems working in the sequential mode. In: Mauri, G., Păun, G., Jesús Pérez-Jímenez, M., Rozenberg, G., Salomaa, A. (eds.) WMC 2004. LNCS, vol. 3365, pp. 36–62. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  9. Ibarra, O.H., Dang, Z., Egecioglu, O.: Catalytic P systems, semilinear sets, and vector addition systems. Theoretical Computer Science 312, 379–399 (2004)

    Article  MATH  MathSciNet  Google Scholar 

  10. Ibarra, O.H., Yen, H.C., Dang, Z.: The power of maximal parallelism in P systems. In: Calude, C.S., Calude, E., Dinneen, M.J. (eds.) DLT 2004. LNCS, vol. 3340, pp. 212–224. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  11. Janicki, R., Lauer, P.E., Koutny, M., Devillers, R.: Concurrent and maximally concurrent evolution of nonsequential systems. Theoretical Computer Science 43, 213–238 (1986)

    Article  MATH  MathSciNet  Google Scholar 

  12. Khomenko, V., Koutny, M., Vogler, W.: Canonical prefixes of Petri net unfoldings. Acta Informatica 40, 95–118 (2003)

    Article  MATH  MathSciNet  Google Scholar 

  13. Kleijn, H.C.M., Koutny, M.: Process semantics of general inhibitor nets. Information and Computation 190, 18–69 (2004)

    Article  MATH  MathSciNet  Google Scholar 

  14. Kleijn, H.C.M., Koutny, M., Rozenberg, G.: Processes of Petri nets with localities (2005) (Manuscript)

    Google Scholar 

  15. McMillan, K.L.: Using unfoldings to avoid state explosion problem in the Verification of Asynchronous Circuits. In: Probst, D.K., von Bochmann, G. (eds.) CAV 1992. LNCS, vol. 663. Springer, Heidelberg (1993)

    Google Scholar 

  16. Nielsen, M., Plotkin, G., Winskel, G.: Petri nets, event structures and domains, Part I. Theoretical Computer Science 13, 85–108 (1980)

    Article  MathSciNet  Google Scholar 

  17. Păun, G.: Computing with membranes. An introduction. Bulletin of the EATCS 67, 139–152 (1999)

    MATH  Google Scholar 

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

    MATH  Google Scholar 

  19. Păun, G., Rozenberg, G.: A guide to membrane computing. Theoretical Computer Science 287, 73–100 (2002)

    Article  MATH  MathSciNet  Google Scholar 

  20. Qi, Z., You, J., Mao, H.: P systems and Petri nets. In: Martín-Vide, C., Mauri, G., Păun, G., Rozenberg, G., Salomaa, A. (eds.) WMC 2003. LNCS, vol. 2933, pp. 286–303. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  21. Reisig, W., Rozenberg, G.: APN 1998. LNCS, vol. 1491 &1492. Springer, Berlin (1998)

    Book  MATH  Google Scholar 

  22. Rozenberg, G., Engelfriet, J.: Elementary net systems. In: [21]

    Google Scholar 

  23. Valk, R.: Self-modifying nets, a natural extension of Petri nets. In: Ausiello, G., Böhm, C. (eds.) ICALP 1978. LNCS, vol. 62. Springer, Heidelberg (1978)

    Google Scholar 

  24. Vogler, W.: Partial order semantics and read arcs. Theoretical Computer Science 286, 33–63 (2002)

    Article  MATH  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. LIACS, Leiden University, P.O. Box 9512, NL-2300 RA, Leiden, The Netherlands

    Jetty H. C. M. Kleijn & Grzegorz Rozenberg

  2. School of Computing Science, University of Newcastle, Newcastle upon Tyne, NE1 7RU, United Kingdom

    Maciej Koutny

  3. Department of Computer Science, University of Colorado at Boulder, Boulder, CO, 80309-0347, USA

    Grzegorz Rozenberg

Authors
  1. Jetty H. C. M. Kleijn
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Maciej Koutny
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Grzegorz Rozenberg
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

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

    Rudolf Freund

  2. Institute of Mathematics of the Romanian Academy, PO Box 1-764, 014700, Bucureşti, Romania

    Gheorghe Păun

  3. Leiden Center of Advanced Computer Science (LIACS), Leiden University, Niels Bohrweg 1, 2333, Leiden, CA, The Netherlands

    Grzegorz Rozenberg

  4. Turku Centre for Computer Science (TUCS), Leminkäisenkatu 14, 20520, Turku, Finland

    Arto Salomaa

Rights and permissions

Reprints and permissions

Copyright information

© 2006 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Kleijn, J.H.C.M., Koutny, M., Rozenberg, G. (2006). Towards a Petri Net Semantics for Membrane Systems. In: Freund, R., Păun, G., Rozenberg, G., Salomaa, A. (eds) Membrane Computing. WMC 2005. Lecture Notes in Computer Science, vol 3850. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11603047_20

Download citation

  • DOI: https://doi.org/10.1007/11603047_20

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-30948-2

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

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation