Current State Estimation of Timed Labeled Synchronized Petri Nets

In this letter, we address current-state estimation in Timed Labeled Synchronized Petri Nets (TLSPNs), a subclass of Timed Output Synchronized Petri Nets. We introduce the Synchronized State Class Graph to model the state space and propose its transformation into a State Class Interval Automaton (SCIA), a finite state automaton where continuous time is abstracted into tick events. In this framework, a construction algorithm for an SCIA observer is proposed, allowing for current-state estimation that is useful for various application ranging from control to analysis and verification.