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

2023
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]
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.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11588/914237
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 4
  • ???jsp.display-item.citation.isi??? 5
social impact