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.
|
Dr Marta Pietkiewicz-Koutny
|
|