Toggle Main Menu Toggle Search

Open Access padlockePrints

Petri Nets and Membrane Computing

Lookup NU author(s): Professor Maciej KoutnyORCiD

Downloads


Abstract

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.


Publication metadata

Author(s): Kleijn J, Koutny M

Publication type: Report

Publication status: Published

Series Title: School of Computing Science Technical Report Series

Year: 2008

Pages: 28

Print publication date: 01/09/2008

Source Publication Date: September 2008

Report Number: 1117

Institution: School of Computing Science, University of Newcastle upon Tyne

Place Published: Newcastle upon Tyne

URL: http://www.cs.ncl.ac.uk/publications/trs/papers/1117.pdf


Share