Figure 8
From: Current-state opacity verification in discrete event systems using an observer net
The set of markings reachable from \(M_{\Phi ,0}\) by firing transitions with label a.
Figure 8 | Scientific Reports
From: Current-state opacity verification in discrete event systems using an observer net
The set of markings reachable from \(M_{\Phi ,0}\) by firing transitions with label a.
