Skip to main content
SpringerLink
Log in

A Petri net model for membrane systems with dynamic structure

  • Published:
Natural Computing Aims and scope Submit manuscript

Abstract

We consider membrane systems with dissolving and thickening reaction rules. Application of these rules entails a dynamical change in the structure of a system during its evolution. First we provide a precise operational model for these dynamic membrane systems in which also promoter and inhibitor rules may occur. Next we describe a translation into behaviourally equivalent Petri nets with localities and range arcs.

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

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Fig. 1
Fig. 2
Fig. 3
Fig. 4
Fig. 5

Similar content being viewed by others

References

  • Agrigoroaiei O, Ciobanu G (2008) Rewriting logic specification of membrane systems with promoters and inhibitors. In: 7th WRLA, pp 1–16 (to appear in ENTCS)

  • Bernardini F, Manca V (2003) Dynamical aspects of P systems. Biosystems 70:85–93

    Article  Google Scholar 

  • Bernardini F, Gheorghe M, Margenstern M, Verlan S (2007) Producer/consumer in membrane systems and Petri nets. Lect Notes Comput Sci 4497:43–52

    Article  Google Scholar 

  • Best E, Devillers R (1988) Sequential and concurrent behaviour in Petri net theory. Theor Comput Sci 55:87–136

    MathSciNet  Google Scholar 

  • Best E, Fernández C (1988) Nonsequential processes. A Petri net view. Springer-Verlag, Berlin

    MATH  Google Scholar 

  • Bogdana A, Ciobanu G (2007) Translating mobile ambients into P systems. Electron Notes Theor Comput Sci 171:11–23

    Article  Google Scholar 

  • Calude CS, Păun Gh, Rozenberg G, Salomaa A (eds) (2001) Multiset processing. Mathematical, computer science, and molecular computing points of view. Lecture notes in computer science, vol 2235. Springer-Verlag, Berlin

  • Cardelli L, Gordon A (1998) Mobile ambients. Lect Notes Comput Sci 1378:140–155

    Article  Google Scholar 

  • Cavaliere M, Sburlan D (2005) Time-independent P systems. Lect Notes Comput Sci 3365:239–258

    Google Scholar 

  • Ciardo G (1994) Petri Nets with marking-dependent arc cardinality: properties and analysis. Lect Notes Comput Sci 815:179–198

    MathSciNet  Google Scholar 

  • Dal Zilio S, Formenti E (2004) On the dynamics of PB systems: a Petri net view. Lect Notes Comput Sci 2933:153–167

    Google Scholar 

  • Desel J, Reisig W, Rozenberg G (eds) (2004) Lectures on concurrency and Petri nets. Lecture notes in computer science, vol 3098. Springer-Verlag, Berlin

  • Freund R (2001) Sequential P systems. Rom J Inform Sci Technol 4:77–88

    Google Scholar 

  • Freund R (2005) Asynchronous P systems and P systems working in the sequential mode. Lect Notes Comput Sci 3365:36–62

    Article  Google Scholar 

  • Goltz U, Reisig W (1983) The non-sequential behaviour of Petri nets. Inform Comput 57:125–147

    MATH  MathSciNet  Google Scholar 

  • Janicki R, Lauer PE, Koutny M, Devillers R (1986) Concurrent and maximally concurrent evolution of nonsequential systems. Theor Comput Sci 43:213–238

    Article  MATH  MathSciNet  Google Scholar 

  • Kleijn J, Koutny M (2006) Synchrony and asynchrony in membrane systems. Lect Notes Comput Sci 4361:66–85

    Article  Google Scholar 

  • Kleijn J, Koutny M (2007) Processes of Petri nets with range testing. Fundam Inform 80:199–219

    MATH  MathSciNet  Google Scholar 

  • Kleijn J, Koutny M (2008a) Processes of membrane systems with promoters and inhibitors. Theor Comput Sci 404:112–126

    MATH  MathSciNet  Google Scholar 

  • Kleijn J, Koutny M (2008b) Petri nets and membrane computing. Technical report CS-TR-1117, also to appear in a handbook on membrane computing

  • Kleijn J, Koutny M, Rozenberg G (2006a) Towards a Petri net semantics for membrane systems. Lect Notes Comput Sci 3850:292–309

    Article  Google Scholar 

  • Kleijn J, Koutny M, Rozenberg G (2006b) Process semantics for membrane systems. J Autom Lang Comb 11:321–340

    MATH  MathSciNet  Google Scholar 

  • Martín-Vide C, Păun Gh, Pazos J, Rodríguez-Patón A (2003) Tissue P systems. Theor Comput Sci 296:295–326

    MATH  Google Scholar 

  • Păun Gh (2000) Computing with membranes. J Comput Syst Sci 61:108–143

    Article  MATH  Google Scholar 

  • Păun Gh (2002) Membrane computing. An Introduction. Springer-Verlag, Berlin

    MATH  Google Scholar 

  • Păun Gh, Rozenberg G (2002) A guide to membrane computing. Theor Comput Sci 287:73–100

    Article  MATH  Google Scholar 

  • Păun Gh, Yu S (1999) On synchronization in P systems. Fundam Inform 38:397–410

    MATH  Google Scholar 

  • Qi Z, You J, Mao H (2004) P systems and Petri nets. Lect Notes Comput Sci 2933:286–303

    Google Scholar 

  • Reisig W, Rozenberg G (eds) (1998) Lectures on Petri nets. Lecture notes in computer science, vols 1491 & 1492. Springer-Verlag, Berlin

  • Rozenberg G, Engelfriet E (1998) Elementary net systems. Lect Notes Comput Sci 1491:12–121

    Google Scholar 

  • Silva M, Teruel E, Colom JM (1998) Linear algebraic and linear programming techniques for the analysis of place/transition net systems. Lect Notes Comput Sci 1491:309–373

    Google Scholar 

Download references

Acknowledgements

We are grateful to Grzegorz Rozenberg for introducing us to the area of membrane systems and many inspiring discussions. We would also like to thank the referees for their helpful comments.

Author information

Authors and Affiliations

  1. Leiden Institute of Advanced Computer Science—LIACS, Leiden University, Niels Bohrweg 1, 2333 CA, Leiden, The Netherlands

    Jetty Kleijn

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

    Maciej Koutny

Authors
  1. Jetty 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

Corresponding author

Correspondence to Maciej Koutny.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Kleijn, J., Koutny, M. A Petri net model for membrane systems with dynamic structure. Nat Comput 8, 781–796 (2009). https://doi.org/10.1007/s11047-008-9101-0

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11047-008-9101-0

Keywords

Search

Navigation