Skip to main content
SpringerLink
Log in

P Systems and Petri Nets

  • 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 propose an intriguing relationship between P systems and Petri nets. For a basic model of P systems, this paper presents a new formalization based on place/transition nets, which can adopt one transition to implement the structural operational semantics of one evolving rule in P systems and utilize incidence matrix to analyze the computation of one macro-step. We also define the behavioral properties in P systems such as terminating, liveness, and boundedness based on this formalization. For a general class of P systems, we briefly describe a high-level framework called membrane Petri nets (MP-nets). MP-nets extend ordinary colored Petri nets (CPN) through introducing the dynamic features such as dissolve, divide, and move inspired by P systems. Therefore, MP-nets can be a graphical as well as an algebraic modelling tool for both generic P systems and dynamic CPN.

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. Asperti, A., Bussi, N.: Mobile Petri nets. Technical Report UBLCS-96-10, University of Bologna, Italy, 10–21 (1996)

    Google Scholar 

  2. Badouel, E., Oliver, J.: Reconfigurable nets: A class of high-level Petri nets supporting dynamic changes with workflow systems, INRIA Research Report, PI-1163 (1998)

    Google Scholar 

  3. Baranda, A.V., Arroyo, F., Castellanos, J., Gonzalo, R.: Towards an electronic implementation of membrane computing: A formal description of non-deterministic evolution in transition P systems. In: Jonoska, N., Seeman, N.C. (eds.) DNA 2001. LNCS, vol. 2340, p. 350. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  4. Bălănescu, T., Gheorghe, M., Holcombe, M., Ipate, F.: Eilenberg P systems. In: Păun, G., Rozenberg, G., Salomaa, A., Zandron, C. (eds.) WMC 2002. LNCS, vol. 2597, pp. 43–57. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  5. Cavaliere, M.: Evolution-communication P systems. In: Păun, G., Rozenberg, G., Salomaa, A., Zandron, C. (eds.) WMC 2002. LNCS, vol. 2597, pp. 134–145. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  6. Ceterchi, R., Martín-Vide, C.: Dynamic P systems. In: Păun, G., Rozenberg, G., Salomaa, A., Zandron, C. (eds.) WMC 2002. LNCS, vol. 2597, pp. 146–186. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  7. Dijkstra, E.W.: Hierarchical ordering of sequential processes. Acta Informatica 1, 115–138 (1971)

    Article  MathSciNet  Google Scholar 

  8. Ellis, C., Keddara, K., Rozenberg, G.: Dynamic change within workflow systems. In: Proceeding of the Conference on Organizational Computing Systems. ACM Press, New York (1995)

    Google Scholar 

  9. Ghabri, M.-K., Ladet, P.: Dynamic Petri nets and their applications. In: Proceedings of the Fourth International Conference on Computer Integrated Manufacturing and Automation Technology, pp. 93–98 (1994)

    Google Scholar 

  10. Jensen, K.: Coloured Petri Nets. In: Basic Concepts, Analysis Methods and Practical Use. Basic Concepts. Springer, Heidelberg (1997); 2nd corrected printing

    Google Scholar 

  11. Madhu, M., Krithivasan, K.: A survey of some variants of P systems. In: Păun, G., Rozenberg, G., Salomaa, A., Zandron, C. (eds.) WMC 2002. LNCS, vol. 2597, pp. 360–370. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  12. Margenstern, M., Martin-Vide, C., Păun, Gh.: Computing with membranes; variants with an enhanced membrane handling. In: Jonoska, N., Seeman, N.C. (eds.) DNA 2001. LNCS, vol. 2340, p. 340. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

  13. Martin-Vide, C., Păun, G., Rozenberg, G.: Membrane systems with carriers. Theoret. Comput. Sci. 270, 779–796 (2002)

    Article  MATH  MathSciNet  Google Scholar 

  14. Murata, T.: Petri nets: Properties, analysis and applications. Proc. of the IEEE 77(4), 541–580 (1989)

    Article  Google Scholar 

  15. Obtulowicz, A.: Probabilistic P systems. In: Păun, G., Rozenberg, G., Salomaa, A., Zandron, C. (eds.) WMC 2002. LNCS, vol. 2597, pp. 377–387. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  16. 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 

  17. Păun, G.: Computing with membranes. J. Comput. System Sci. 61(1), 108–143 (2000); see also Turku Center for Computer Science-TUCS Report No. 208 (1998), www.tucs.fi

    Article  MATH  MathSciNet  Google Scholar 

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

    Article  MATH  MathSciNet  Google Scholar 

  19. Perez-Jimenez, M.J., Sancho-Caparrini, F.: Verifying a P system generating squares. Romanian J. Inform. Sci. Tech. 5, 181–191 (2002)

    Google Scholar 

  20. Perez-Jimenez, M.J., Sancho-Caparrini, F.: A formalization of transition P systems. Fund. Inform. 49, 261–272 (2002)

    MATH  MathSciNet  Google Scholar 

  21. Peterson, J.L.: Petri net Theory and the Modeling of Systems. Prentice-Hall, N.J. (1981)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science and Engineering, Shanghai Jiao Tong University, Shanghai, 200030, P.R. China

    Zhengwei Qi, Jinyuan You & Hongyan Mao

Authors
  1. Zhengwei Qi
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Jinyuan You
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Hongyan Mao
    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

Qi, Z., You, J., Mao, H. (2004). P Systems and Petri Nets. 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_21

Download citation

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

  • 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