Skip to Main content Skip to Navigation
Conference papers

Codiagnosability verification of bounded Petri nets using basis markings

Ning Ran Hongye Su Alessandro Giua 1 Carla Seatzu
1 Dip. di Ingegneria Elettrica ed Elettronica (Univ. Cagliari)
Abstract : no abstract
Document type :
Conference papers
Complete list of metadata
https://hal-amu.archives-ouvertes.fr/hal-01490142
Contributor : William Domingues Vinhas Connect in order to contact the contributor
Submitted on : Tuesday, March 14, 2017 - 10:24:38 PM
Last modification on : Tuesday, March 14, 2017 - 10:24:38 PM

Identifiers

  • HAL Id : hal-01490142, version 1

Collections

UNIV-AMU | LSIS

Citation

Ning Ran, Hongye Su, Alessandro Giua, Carla Seatzu. Codiagnosability verification of bounded Petri nets using basis markings. Proc. 55th IEEE Conf. on Decision and Control (Las Vegas, USA), 2016, Unknown, Unknown Region. ⟨hal-01490142⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

61