Current State Estimation of Timed Labeled Synchronized Petri Nets. - Mouna Gaouar; Rabah Ammour; Isabel Demongodin; Dimitri Lefebvre (IEEE Control. Syst. Lett., 2025)