Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
Skip to main content
Springer Nature Link
Log in

Producer/Consumer in Membrane Systems and Petri Nets

  • Conference paper
Computation and Logic in the Real World (CiE 2007)

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

Included in the following conference series:

Abstract

The paper investigates different relationships between membrane systems and Petri nets by focusing on modelling variants of the producer/consumer paradigm. Two models of producer/consumer systems based on membrane systems are described, and it is shown how to translate these models into equivalent Petri nets with a corresponding semantics. It is then observed a direct correspondence between the Petri nets representation of the proposed models and standard solutions based on Petri nets already present in the literature.

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. Petri Nets World - Petri Nets Tools Database: http://www.informatik.uni-hamburg.de/TGI/PetriNets/tools/quick.html

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

  3. Bernardini, F., Manca, V.: P systems with boundary rules. In: Păun, G., Rozenberg, G., Salomaa, A., Zandron, C. (eds.) WMC-CdeA 02. LNCS, vol. 2597, pp. 107–118. Springer, Heidelberg (2003)

    Google Scholar 

  4. Bernardini, F., Romero-Campero, F., Gheorghe, M., Pérez-Jiménez, M.: A Modelling Approach Based on P Systems with Bounded Parallelism. In: Hoogeboom, H., Păun, Gh., Rozenberg, G., Salomaa, A. (eds.) WMC 2006. LNCS, vol. 4361, pp. 49–65. Springer, Heidelberg (2007)

    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)

    Google Scholar 

  6. Kleijn, J., Koutny, M.: Synchrony and Asynchrony in Membrane Systems. In: Hoogeboom, H., Păun, Gh., Rozenberg, G., Salomaa, A. (eds.) WMC 2006. LNCS, vol. 4361, pp. 66–85. Springer, Heidelberg (2007)

    Google Scholar 

  7. Kleijn, J., Koutny, M., Rozenberg, G.: Towards a Petri Net Semantics for Membrane Systems. In: Freund, R., Păun, G., Rozenberg, G., Salomaa, A. (eds.) WMC 2005. LNCS, vol. 3850, pp. 292–309. Springer, Heidelberg (2006)

    Google Scholar 

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

    Book  MATH  Google Scholar 

  9. Reisig, W.: Elements of Distributed Algorithms. In: Modelling and Analysis with Petri Nets, Springer, Heidelberg (1998)

    Google Scholar 

  10. Verlan, S., Bernardini, F., Gheorghe, M., Margenstern, M.: Generalized Communicating P Systems. (Submitted 2007)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. LIACS, Universiteit Leiden, Niels Bohrweg 1, 2333 CA Leiden, The Netherlands

    Francesco Bernardini

  2. Department of Computer Science, The University of Sheffield, Regent Court, Portobello Street, Sheffield S1 4DP, UK

    Marian Gheorghe

  3. Université Paul Verlaine - Metz, UFR MIM, LITA, EA 3097, Ile du Saulcy, 57045 Metz Cédex, France

    Maurice Margenstern

  4. LACL, Département Informatique, Université Paris XII 61 av. Général de Gaulle, 94010 Créteil, France

    Sergey Verlan

Authors
  1. Francesco Bernardini
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Marian Gheorghe
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Maurice Margenstern
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Sergey Verlan
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Dept. of Pure Mathematics, University of Leeds, LS2 9JT, Leeds, UK

    S. Barry Cooper

  2. Institue for Logic, Language and Computation (ILLC), Universiteit van Amsterdam, Plantage Muidergracht 24, 1018, TV Amsterdam, The Netherlands

    Benedikt Löwe

  3. Dipartimento di Scienze Matematiche ed Informatiche “R. Magari”, University of Siena, 53100, Siena, Italy

    Andrea Sorbi

Rights and permissions

Reprints and permissions

Copyright information

© 2007 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Bernardini, F., Gheorghe, M., Margenstern, M., Verlan, S. (2007). Producer/Consumer in Membrane Systems and Petri Nets. In: Cooper, S.B., Löwe, B., Sorbi, A. (eds) Computation and Logic in the Real World. CiE 2007. Lecture Notes in Computer Science, vol 4497. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-73001-9_5

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-73001-9_5

  • Publisher Name: Springer, Berlin, Heidelberg

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

  • Online ISBN: 978-3-540-73001-9

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation