Decidability of opacity verification problems in labeled Petri net systems

Yin Tong 1 Zhiwu Li 1 Carla Seatzu 2 Alessandro Giua 3, 4, 2
1 Xidian University
2 DIEE - Department of Electrical and Electronic Engineering [University of Cagliari]
3 LSIS - Laboratoire des Sciences de l'Information et des Systèmes
4 MOFED - Modèles et Formalismes à Evénements Discrets
LIS - Laboratoire d'Informatique et Systèmes
Type de document :
Article dans une revue
Automatica, Elsevier, 2017, 80, pp.48 - 53. 〈10.1016/j.automatica.2017.01.013〉
Liste complète des métadonnées
https://hal-amu.archives-ouvertes.fr/hal-01785998
Contributeur : Isabel Demongodin <>
Soumis le : vendredi 4 mai 2018 - 18:16:00
Dernière modification le : mercredi 12 septembre 2018 - 01:26:10

Identifiants

Collections

UNIV-AMU | UNIV-TLN | TDS-MACS | LSIS | LIS-LAB | UNIV-HESAM

Citation

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

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

102

Contact

support.ccsd.cnrs.fr
hal.support@ccsd.cnrs.fr
Logo CCSD