上一条: Trajectory detectability of discrete-event systems
下一条: Verification of Prognosability for Labeled Petri Nets