Corrigendum to "Assessment of initial-state-opacity in live and bounded labeled Petri net systems via optimization techniques" [Automatica 152 (2023) 110911]

Francesco Basile, Gianmaria De Tommasi, Carlo Motta. Corrigendum to "Assessment of initial-state-opacity in live and bounded labeled Petri net systems via optimization techniques" [Automatica 152 (2023) 110911]. Automatica, 171:111958, 2025. [doi]

Authors

Francesco Basile

This author has not been identified. Look up 'Francesco Basile' in Google

Gianmaria De Tommasi

This author has not been identified. Look up 'Gianmaria De Tommasi' in Google

Carlo Motta

This author has not been identified. Look up 'Carlo Motta' in Google