Modeling and state estimation of discrete event systems using Hybrid Petri Nets. - Khouloud Soltani; Atef Khedher; Adel Khedher (SSD, 2023)