Figure 10
From: Current-state opacity verification in discrete event systems using an observer net
The colored estimator of the observer net.
Figure 10 | Scientific Reports
From: Current-state opacity verification in discrete event systems using an observer net
The colored estimator of the observer net.
