Process Semantics for Membrane Systems (2006)

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

    Abstract: 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.

      • Journal: Journal of Automata, Languages and Combinatorics
      • Volume: 11
      • Issue: 3
      • Pages: 321-340
      • Publisher: Otto-von-Guericke-Universität, Magdeburg, Germany
      • Publication type: Article
      • Bibliographic status: Published

        Keywords: membrane systems, Petri nets, localities, GALS, processes, causality


        Professor Maciej Koutny
        CS Director of Research