Figure 9
From: Current-state opacity verification in discrete event systems using an observer net
State transition from \(M_{\Phi ,0}\).
Figure 9 | Scientific Reports
From: Current-state opacity verification in discrete event systems using an observer net
State transition from \(M_{\Phi ,0}\).
