Linear Algebraic Formalism for State Estimation of Labeled Petri Net
Résumé
In this paper we present an algebraical approach for the state estimation of discrete event systems, partially observed and modeled by labeled Petri nets. Our estimation approach is based on the on-line observation of firing occurrences of some transitions to determine the set of all possible actual sequences and markings. This approach has been used to minimize the computation time and space for the state estimation using an off-line procedure.