Browse by author
Lookup NU author(s): Dr Marta Koutny
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.
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
