Modelling and analysis of mobile computing systems: An extended Petri Nets formalism

In its basic version, Petri Nets are defined as fixed graphs, where thebehaviour of the system is modelled as the marking of the graph which changes overtime. This constraint makes the Petri Nets a poor tool to deal with reconfigurablesystems as mobile computing systems, where the structure of the system can changeas its behaviour, during time. Many extended Petri nets were proposed to deal withthis weakness. The aim of this work is to present a new extension of Petri Nets, wherethe structure of the graph can be highly flexible. This flexibility gives a rich modelwith complex behaviours, not allowed in previous extensions. The second aim is toprove that even these behaviours are so complex; they can be translated into otherlow level models (as Coloured Petri Nets [21]) and so be analysed. This translationexploits Dynamic Petri Nets [11] as an intermediary representation between our modeland Coloured Petri Nets.100