Toggle Main Menu Toggle Search

Open Access padlockePrints

Towards a Petri net semantics for membrane systems

Lookup NU author(s): Professor Henriette Kleijn, Professor Maciej Koutny

Downloads

Full text for this publication is not currently held within this repository. Alternative links are provided below where available.


Abstract

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.


Publication metadata

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

Pages: 292-309

ISSN: 0302-9743

Publisher: Springer

Library holdings: Search Newcastle University Library for this item

Series Title: Lecture Notes in Computer Science

ISBN: 3540309489


Actions

Find at Newcastle University icon    Link to this publication


Share