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