Codiagnosability verification of bounded Petri nets using basis markings

Ning Ran, Hongye Su, Alessandro Giua, Carla Seatzu. Codiagnosability verification of bounded Petri nets using basis markings. In 55th IEEE Conference on Decision and Control, CDC 2016, Las Vegas, NV, USA, December 12-14, 2016. pages 3948-3953, IEEE, 2016. [doi]

Authors

Ning Ran

This author has not been identified. Look up 'Ning Ran' in Google

Hongye Su

This author has not been identified. Look up 'Hongye Su' in Google

Alessandro Giua

This author has not been identified. Look up 'Alessandro Giua' in Google

Carla Seatzu

This author has not been identified. Look up 'Carla Seatzu' in Google