State Estimation of Timed Labeled Petri Nets With Unobservable Transitions

The aim of this paper is to reconstruct the least/greatest sequence of unobservable transitions in timed Petri nets based on the online observation of firing occurrences of some transitions on a sliding horizon. The Petri net, which can be unbounded and can contain self-loops and circuits, is described under an algebraic form composed of which expresses the possible time sequence and the funda…