上一条: Synthesis of Dynamic Masks for Infinite-Step Opacity
下一条: On the decidability and complexity of diagnosability for labeled Petri nets