Browse by author
Lookup NU author(s): Professor Henriette Kleijn
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 HCM, Koutny M, Rozenberg G
Editor(s): Freund, R., Paun, G., Rozenberg, G., Salomaa, A.
Publication type: Conference Proceedings (inc. Abstract)
Publication status: Published
Conference Name: Membrane Computing: 6th International Workshop (WMC)
Year of Conference: 2006
Pages: 292-309
ISSN: 0302-9743 (Print) 1611-3349 (Online)
Publisher: Springer-Verlag
URL: http://dx.doi.org/10.1007/11603047_20
DOI: 10.1007/11603047_20
Notes: Revised selected and invited papers
Library holdings: Search Newcastle University Library for this item
Series Title: Lecture Notes in Computer Science
ISBN: 9783540309482
