An optimization-based approach to assess non-interference in labeled and bounded Petri net systems / Basile, Francesco; Boccia, Maurizio; De Tommasi, Gianmaria; Motta, Carlo; Sterle, Claudio. - In: NONLINEAR ANALYSIS. - ISSN 1751-570X. - 44:(2022), p. 101153. [10.1016/j.nahs.2022.101153]

An optimization-based approach to assess non-interference in labeled and bounded Petri net systems

Boccia, Maurizio;De Tommasi, Gianmaria;Motta, Carlo;Sterle, Claudio
2022

2022
An optimization-based approach to assess non-interference in labeled and bounded Petri net systems / Basile, Francesco; Boccia, Maurizio; De Tommasi, Gianmaria; Motta, Carlo; Sterle, Claudio. - In: NONLINEAR ANALYSIS. - ISSN 1751-570X. - 44:(2022), p. 101153. [10.1016/j.nahs.2022.101153]
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/867887
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 2
  • ???jsp.display-item.citation.isi??? 2
social impact