Modelling Reconfigurability using Graph Grammars and Petri Nets (1991)

Author(s): Pietkiewicz-Koutny M

    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.

      • Date: November 1991
      • Series Title: Computing Laboratory Technical Report Series
      • Pages: 16
      • Institution: Computing Laboratory, University of Newcastle upon Tyne
      • Publication type: Report
      • Bibliographic status: Published
      Staff

      Dr Marta Pietkiewicz-Koutny
      Lecturer