Figure 6
From: Current-state opacity verification in discrete event systems using an observer net
The initial state \(M_{\Phi ,0}\) of the observer net.
Figure 6 | Scientific Reports
From: Current-state opacity verification in discrete event systems using an observer net
The initial state \(M_{\Phi ,0}\) of the observer net.
