Lookup NU author(s): Professor Henriette Kleijn,
Professor Maciej Koutny
Full text for this publication is not currently held within this repository. Alternative links are provided below where available.
We consider the modelling of the behaviour of membrane systems using Petri nets. First, a systematic, structural link is established between a basic class of membrane systems and Petri nets. To capture the compartmentisation of membrane systems, localities are proposed as an extension of Petri nets. This leads to a locally maximal concurrency semantics for Petri nets. We indicate how processes for these nets could be defined which should be of use in order to describe what is actually going on during a computation of a membrane system.
Author(s): Kleijn JHCM, Koutny M, Rozenberg G
Publication type: Conference Proceedings (inc. Abstract)
Publication status: Published
Conference Name: 6th International Workshop on Membrane Computing
Year of Conference: 2006
Library holdings: Search Newcastle University Library for this item
Series Title: Lecture Notes in Computer Science