Producer/Consumer in Membrane Systems and Petri Nets

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.

[1]  Silvano Dal-Zilio,et al.  On the Dynamics of PB Systems: A Petri Net View , 2003, Workshop on Membrane Computing.

[2]  Jetty Kleijn,et al.  Petri Nets and Other Models of Concurrency - ICATPN 2007, 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007, Proceedings , 2007, ICATPN.

[3]  Marian Gheorghe,et al.  Generalized communicating P systems , 2008, Theor. Comput. Sci..

[4]  Professor Dr. Wolfgang Reisig.  Elements of Distributed Algorithms , 1998, Springer Berlin Heidelberg.

[5]  Marian Gheorghe,et al.  A Modeling Approach Based on P Systems with Bounded Parallelism , 2006, Workshop on Membrane Computing.

[6]  Maciej Koutny,et al.  Towards a Petri Net Semantics for Membrane Systems , 2005, Workshop on Membrane Computing.

[7]  Maciej Koutny,et al.  Synchrony and Asynchrony in Membrane Systems , 2006, Workshop on Membrane Computing.

[8]  Wolfgang Reisig,et al.  Distributed algorithms: modeling and analysis with Petri nets , 1998, SMC'98 Conference Proceedings. 1998 IEEE International Conference on Systems, Man, and Cybernetics (Cat. No.98CH36218).

[9]  Vincenzo Manca,et al.  P Systems with Boundary Rules , 2002, WMC-CdeA.

[10]  Gheorghe Paun,et al.  Membrane Computing , 2002, Natural Computing Series.