Verification of Language-Based Opacity in Petri Nets Using Verifier - Archive ouverte HAL Access content directly
Conference Papers Year : 2016

Verification of Language-Based Opacity in Petri Nets Using Verifier

Yin Tong
  • Function : Author
Ziyue Ma
  • Function : Author
Zhiwu Li
Carla Seatzu
  • Function : Author
Alessandro Giua
  • Function : Author
Università degli Studi di Cagliari = University of Cagliari

Abstract

no abstract

Domains

Computer Science [cs] Computer Science [cs] Automatic Control Engineering Computer Science [cs] Signal and Image Processing

William Domingues Vinhas  : Connect in order to contact the contributor

https://hal-amu.archives-ouvertes.fr/hal-01490151

Submitted on : Tuesday, March 14, 2017-10:24:49 PM

Last modification on : Friday, November 25, 2022-6:54:06 PM

Not file

Dates and versions

hal-01490151 , version 1 (14-03-2017)

Identifiers

  • HAL Id : hal-01490151 , version 1

Cite

Yin Tong, Ziyue Ma, Zhiwu Li, Carla Seatzu, Alessandro Giua. Verification of Language-Based Opacity in Petri Nets Using Verifier. 2016 American Control Conference, Boston MA, USA, 2016, Unknown, Unknown Region. ⟨hal-01490151⟩

Export

BibTeX TEI Dublin Core DC Terms EndNote Datacite

Collections

UNIV-AMU LSIS
24 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More