Assessment of initial-state-opacity in live and bounded labeled Petri net systems via optimization techniques

Francesco Basile, Gianmaria De Tommasi, Carlo Motta. Assessment of initial-state-opacity in live and bounded labeled Petri net systems via optimization techniques. Automatica, 152:110911, June 2023. [doi]

Abstract

Abstract is missing.