Decidability of opacity verification problems in labeled Petri net systems

Yin Tong; Zhiwu Li; Carla Seatzu; Alessandro Giua

doi:10.1016/j.automatica.2017.01.013

Journal Articles Automatica Year : 2017

Decidability of opacity verification problems in labeled Petri net systems

(1) , (1) , (2) , (3, 4, 2)

1
2
3
4

Yin Tong

Function : Author

Xidian University

Zhiwu Li

Function : Author
PersonId : 773377
ORCID : 0000-0003-1547-5503

Xidian University

Carla Seatzu

Function : Author

Department of Electrical and Electronic Engineering [University of Cagliari]

Alessandro Giua

Function : Author

Laboratoire des Sciences de l'Information et des Systèmes

Modèles et Formalismes à Evénements Discrets

Department of Electrical and Electronic Engineering [University of Cagliari]

Domains

Engineering Sciences [physics] Automatic Engineering Sciences [physics] Computer Science [cs] Automatic Control Engineering

Isabel Demongodin : Connect in order to contact the contributor

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

Submitted on : Friday, May 4, 2018-6:16:00 PM

Last modification on : Friday, March 24, 2023-2:53:07 PM

Dates and versions

hal-01785998 , version 1 (04-05-2018)

Identifiers

HAL Id : hal-01785998 , version 1
DOI : 10.1016/j.automatica.2017.01.013

Cite

Yin Tong, Zhiwu Li, Carla Seatzu, Alessandro Giua. Decidability of opacity verification problems in labeled Petri net systems. Automatica, 2017, 80, pp.48 - 53. ⟨10.1016/j.automatica.2017.01.013⟩. ⟨hal-01785998⟩

Export

BibTeX TEI Dublin Core DC Terms EndNote Datacite

Collections

UNIV-TLN CNRS UNIV-AMU TDS-MACS LIS-LAB ARTS-ET-METIERS-SCIENCES-ET-TECHNOLOGIES

123 View

0 Download

Decidability of opacity verification problems in labeled Petri net systems

Domains

Dates and versions

Identifiers

Cite

Export

Collections

Altmetric

Share