A Petri Net Model for Membrane Systems with Dynamic Structure (2008)

Author(s): Kleijn J, Koutny M

    Abstract: We consider membrane systems with dissolving and thickening reaction rules. Application of these rules entails a dynamical change in the structure of a system during its evolution. First we provide a precise operational model for these dynamic membrane systems in which also promoter and inhibitor rules may occur. Next we describe a translation into behaviourally equivalent Petri nets with localities and range arcs.

      • Date: September 2008
      • Series Title: School of Computing Science Technical Report Series
      • Pages: 21
      • Institution: School of Computing Science, University of Newcastle upon Tyne
      • Publication type: Report
      • Bibliographic status: Published

      Keywords: membrane systems, P systems, Petri nets, dynamic structure, thickening and dissolving membranes, promoters and inhibitors, range testing, localities, causality and concurrency, synchrony and asynchrony

      Staff

      Professor Maciej Koutny
      Professor of Computing Science