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]

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