上一条: Opacity Enforcement Using Nondeterministic Publicly Known Edit Functions
下一条: On the Decidability and Complexity of Diagnosability for Labeled Petri Nets (vol 62, pg 5931, 2017)