Codiagnosability verification of bounded Petri nets using basis markings - Archive ouverte HAL Access content directly
Conference Papers Year : 2016

Codiagnosability verification of bounded Petri nets using basis markings

, , (1) ,
1
Ning Ran
  • Function : Author
Hongye Su
  • Function : Author
Carla Seatzu
  • Function : Author
Not file

Dates and versions

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

Identifiers

  • HAL Id : hal-01490142 , version 1

Cite

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⟩

Collections

UNIV-AMU LSIS
31 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More