Diagnosability analysis of bounded Petri nets.

Ning Ran, Jinyuan Hao, Zhou He, Carla Seatzu

Browse the full ETFA paper archive.