Skip to main content
SpringerLink
Log in

On the Dynamics of PB Systems: A Petri Net View

  • Conference paper
Membrane Computing (WMC 2003)

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

Included in the following conference series:

Abstract

We study dynamical properties of PB systems, a new computational model of biological processes, and propose a compositional encoding of PB systems into Petri nets. Building on this relation, we show that three properties: boundedness, reachability and cyclicity, which we claim are useful in practice, are all decidable.

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. Bernardini, F., Manca, V.: Dynamical aspects of P systems. BioSystems 70(2), 85–93 (2003)

    Article  Google Scholar 

  2. Cheng, A., Esparza, J., Palsberg, J.: Complexity results for 1-safe nets. Theoretical Computer Science 147(1&2), 117–136 (1995)

    Article  MATH  MathSciNet  Google Scholar 

  3. Dufourd, C., Finkel, A., Schnoebelen, P.: Reset nets between decidability and undecidability. In: Larsen, K.G., Skyum, S., Winskel, G. (eds.) ICALP 1998. LNCS, vol. 1443, pp. 103–115. Springer, Heidelberg (1998)

    Chapter  Google Scholar 

  4. Esparza, J., Nielsen, M.: Decibility issues for Petri nets - a survey. Journal of Informatik Processing and Cybernetics 30(3), 143–160 (1994)

    MATH  Google Scholar 

  5. Haas, P.: Stochastic Petri Nets: Modelling, Stability, Simulation. Springer, Heidelberg (2002)

    MATH  Google Scholar 

  6. Karp, R.M., Miller, R.E.: Parallel program schemata. Journal of Computer and System Sciences 3, 147–195 (1969)

    Article  MATH  MathSciNet  Google Scholar 

  7. Lipton, R.J.: The reachability problem requires exponential space. Technical Report 62, Department of Computer Science, Yale University (1976)

    Google Scholar 

  8. Memmi, G., Roucairol, G.: Linear algebra in net theory. In: Brauer, W. (ed.) Net Theory and Applications. LNCS, vol. 84, pp. 213–223. Springer, Heidelberg (1980)

    Google Scholar 

  9. Păun, G.: Computing with membranes. Journal of Computer and System Sciences 61(1), 108–143 (2000)

    Article  MATH  MathSciNet  Google Scholar 

  10. Păun, G.: Computing with membranes (P systems): An introduction. Bulletin of EATCS 68, 139–152 (1999)

    Google Scholar 

  11. Păun, G.: Membrane Computing: An Introduction. Springer, New York (2002)

    MATH  Google Scholar 

  12. Peterson, J.L.: Petri Net Theory and the Modelling of Systems. Prentice-Hall, Englewood Cliffs (1981)

    MATH  Google Scholar 

  13. Reinhardt, K.: Das Erreichbarkeitproblem bei Petrinetzen mit inhibitorischen Kanten (1994) (unpublished manuscript)

    Google Scholar 

  14. Reisig, W.: Petri Nets, An Introduction. In: EATCS Monographs on Theoretical Computer Science. Springer, Heidelberg (1985)

    Google Scholar 

  15. Wang, J.: Timed Petri Nets, Theory and Application. Kluwer Academic Publishers, Dordrecht (1998)

    MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Laboratoire d’Informatique Fondamentale de Marseille, CNRS and Université de Provence, France

    Silvano Dal Zilio

  2. I3S – Université de Nice Sophia-Antipolis, France

    Enrico Formenti

Authors
  1. Silvano Dal Zilio
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Enrico Formenti
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Research Group in Mathematical Linguistics, Rovira i Virgili University, Pça, Imperial Tarraco 1, 43005, Tarragona, Spain

    Carlos Martín-Vide

  2. Complex Systems and Artificial Intelligence Research Center, University of Milan–Bicocca, Italy

    Giancarlo Mauri

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

    Gheorghe Păun

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

    Grzegorz Rozenberg

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

    Arto Salomaa

Rights and permissions

Reprints and permissions

Copyright information

© 2004 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Dal Zilio, S., Formenti, E. (2004). 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) Membrane Computing. WMC 2003. Lecture Notes in Computer Science, vol 2933. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-24619-0_11

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-24619-0_11

  • Publisher Name: Springer, Berlin, Heidelberg

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

  • Online ISBN: 978-3-540-24619-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation