Modelling Networked Agents’ Behaviour using Timed Hybrid Petri Nets

This paper deals with the modelling of networked identical agents. It focuses on the agent hybrid state representation and its dynamic behaviour, and their interaction with neighbour agents in wireless sensor networks. A framework for modelling this kind of systems specified by timed hybrid Petri nets (THPN) is presented. The state of an agent, expressed as a set of variables that can be either integer or real valued are represented in a THPN model, as well as their updating functions. The framework is illustrated through a case study regarding a sensor network.