Toggle Main Menu Toggle Search

Open Access padlockePrints

Modelling Reconfigurability using Graph Grammars and Petri Nets

Lookup NU author(s): Dr Marta Koutny

Downloads


Abstract

We here consider non-sequential systems whose internal connectivity may change as the result of the execution of certain actions. To model such systems we first introduce a graph-grammar model in which the notion of reconfigurability can be precisely formulated. We then provide a translation from this graph-grammar model into the standard labelled Petri nets which preserves the behavioural properties of the systems. In this way we obtain a framework which allows the application of the analytical methods developed for ordinary Petri nets to deal with a class of systems with dynamically changing interconnection structure.


Publication metadata

Author(s): Pietkiewicz-Koutny M

Publication type: Report

Publication status: Published

Series Title: Computing Laboratory Technical Report Series

Year: 1991

Pages: 16

Print publication date: 01/11/1991

Source Publication Date: November 1991

Report Number: 356

Institution: Computing Laboratory, University of Newcastle upon Tyne

Place Published: Newcastle upon Tyne

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


Share