Toggle Main Menu Toggle Search

Open Access padlockePrints

Process Semantics for Membrane Systems

Lookup NU author(s): Professor Maciej KoutnyORCiD


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 [12], 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.

Publication metadata

Author(s): Kleijn J, Koutny M, Rozenberg G

Publication type: Article

Publication status: Published

Journal: Journal of Automata, Languages and Combinatorics

Year: 2006

Volume: 11

Issue: 3

Pages: 321-340

ISSN (print): 1430-189X

Publisher: Otto-von-Guericke-Universit├Ąt, Magdeburg, Germany