Estimation du marquage d'un réseau de Petri p-temporel sous observation partielle.

This paper deals with a novel state observer synthesis method of discrete event systems modeled by p-time Petri nets. Indeed, the developed approach aims at estimating the net marking based on the observation of the occurrence of particular transitions. As opposed to many existing approaches the application of the method does not required strong assumptions on the structure of the model considered except the finiteness of the set of reachable markings of the underlying autonomous Petri net. In addition, although the time factor is taken into consideration, the proposed technique is not hampered by the state space explosion problem as it relies on the underlying untimed structure of the P-time model studied - the building of the state class graph is not necessary. The analysis of the firing sequences of interest relies on a schedulability analysis technique based on linear programming. [ABSTRACT FROM AUTHOR]