Towards a Decentralized State Estimation of P-Time Petri Net Systems

This paper deals with a state estimation technique in a decentralized context for discrete events dynamic systems modeled by P-Time Petri nets (P-TPN). Indeed, the observation is distributed over a set of distinct sites, each of which has its own local view of the system. Thus, thanks to a coordinator the local information transmitted by the different sites will be used to determine the set of states consistent with the current observation. The proposed method relies on an iterative procedure and the schedulability analysis of particular firing sequences called time explanations.