Assessment of initial-state-opacity in live and bounded labeled Petri net systems via optimization techniques / Basile, Francesco; De Tommasi, Gianmaria; Motta, Carlo. - In: AUTOMATICA. - ISSN 0005-1098. - 152:(2023), p. 110911. [10.1016/j.automatica.2023.110911]
Assessment of initial-state-opacity in live and bounded labeled Petri net systems via optimization techniques
De Tommasi, Gianmaria
;Motta, Carlo
2023
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.