Browse by author
Lookup NU author(s): Professor Maciej KoutnyORCiD
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.
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
