Lookup NU author(s): Professor Maciej Koutny
Full text for this publication is not currently held within this repository. Alternative links are provided below where available.
A process model based on Petri nets is proposed to describe the structure of the behaviour of basic membrane systems. In , a systematic and structural link has been established between a basic class of membrane systems and Petri nets. To capture the compartmentisation of membrane systems, Place/Transition nets with explicit localities have been introduced. Each locality identifies a distinct set of transitions which may only be executed synchronously, i.e., in a locally maximal concurrent manner. Here, we develop the notion of a process for these nets. The resulting formalism should be of use in the investigation of the ways in which computations of membrane systems can evolve.
Author(s): Kleijn J, Koutny M, Rozenberg G
Publication type: Article
Publication status: Published
Journal: Journal of Automata, Languages and Combinatorics
ISSN (print): 1430-189X
Publisher: Otto-von-Guericke-Universität, Magdeburg, Germany