上一条: Opacity enforcement using nondeterministic publicly-known edit functions
下一条: Verification of Prognosability for Labeled Petri Nets