Towards a Petri Net Semantics for Membrane Systems (2006)

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

    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.

    Notes: Revised selected and invited papers

      • Date: 18-21 July 2005
      • Conference Name: Membrane Computing: 6th International Workshop (WMC)
      • Volume: 3850
      • Pages: 292-309
      • Publisher: Springer-Verlag
      • Publication type: Conference Proceedings (inc. abstract)
      • Bibliographic status: Published

      Keywords: membrane systems, P systems, Petri nets, localities, causality and concurrency, processes

      Staff

      Professor Maciej Koutny
      Professor of Computing Science