Computing Science: Petri Nets and Membrane Computing

摘要

Petri nets are a well-established model of concurrent and distributed computation featuring a wealth of tools for the analysis and verification of their behavioural properties. Like membrane systems, Petri nets are in essence multiset rewriting systems. Using this key commonality we describe a faithful translation from basic membrane systems to Petri nets. We also sketch the changes required to deal with promoters and inhibitors and with dynamically changing membrane structures. To capture the compartmentisation of membrane systems, the Petri net model is extended with localities and we show how to adapt the notion of a Petri net process accordingly. This makes it possible to describe ongoing concurrent behaviour of membrane systems in terms of causalities between the reactions that are taking place.