Current State Estimation of Timed Labeled Synchronized Petri Nets
Mouna Gaouar, Rabah Ammour, Isabel Demongodin, Dimitri Lefebvre · IEEE Control Systems Letters · 2025
In this paper, we address current-state estimation in Timed Labeled Synchronized Petri Nets (TLSPNs), a subclass of Timed Output Synchronized Petri Netsgaouar2024timed. 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.