Enforcement of Current-State Opacity in Signal Interpreted Petri Nets. - Andreas Köhler; Pascal Marijan; Ping Zhang 022 (IEEE Trans. Autom. Control., 2024)