Producer/Consumer in Membrane Systems and Petri Nets

Authors:
Francesco Bernardini;Marian Gheorghe;Maurice Margenstern;Sergey Verlan
Affiliations:
LIACS, Universiteit Leiden, Niels Bohrweg 1, 2333 CA Leiden, The Netherlands;Department of Computer Science, The University of Sheffield, Regent Court, Portobello Street, Sheffield S1 4DP, UK;Université Paul Verlaine - Metz, UFR MIM, LITA, EA 3097, Ile du Saulcy, 57045 Metz Cédex, France;LACL, Département Informatique, Université Paris XII 61 av. Général de Gaulle, 94010 Créteil, France
Venue:
CiE '07 Proceedings of the 3rd conference on Computability in Europe: Computation and Logic in the Real World
Year:
2007

Citing 6
Cited 2

Elements of distributed algorithms: modeling and analysis with Petri nets

Elements of distributed algorithms: modeling and analysis with Petri nets
Membrane Computing: An Introduction

Membrane Computing: An Introduction
P Systems with Boundary Rules

WMC-CdeA '02 Revised Papers from the International Workshop on Membrane Computing
A modeling approach based on p systems with bounded parallelism

WMC'06 Proceedings of the 7th international conference on Membrane Computing
Synchrony and asynchrony in membrane systems

WMC'06 Proceedings of the 7th international conference on Membrane Computing
Towards a petri net semantics for membrane systems

WMC'05 Proceedings of the 6th international conference on Membrane Computing

On generalized communicating P systems with minimal interaction rules

Theoretical Computer Science
On generalized communicating P systems with one symbol

CMC'10 Proceedings of the 11th international conference on Membrane computing

Quantified Score

Hi-index	0.00

Visualization

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.