上一条: Marking Predictability and Prediction in Labeled Petri Nets
下一条: Complexity of detectability, opacity and A-diagnosability for modular discrete event systems