Toggle Main Menu Toggle Search

ePrints

A Petri Net Model for Membrane Systems with Dynamic Structure

Lookup NU author(s): Professor Maciej Koutny

Downloads


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.


Publication metadata

Author(s): Kleijn J, Koutny M

Publication type: Report

Publication status: Published

Series Title: School of Computing Science Technical Report Series

Year: 2008

Pages: 21

Print publication date: 01/09/2008

Source Publication Date: September 2008

Report Number: 1119

Institution: School of Computing Science, University of Newcastle upon Tyne

Place Published: Newcastle upon Tyne

URL: http://www.cs.ncl.ac.uk/publications/trs/papers/1119.pdf


Share