Skip to Main content Skip to Navigation
Conference papers

Codiagnosability verification of bounded Petri nets using basis markings

Abstract : no abstract
Complete list of metadatas

https://hal-amu.archives-ouvertes.fr/hal-01490142
Contributor : William Domingues Vinhas <>
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

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⟩

Share

Metrics

Record views

54