12/11/2024
In the May 2024 issue of IEEE/CAA Journal of Automatica Sinica, D**g et al. define the current-state, initial-state, infinite-step, and K-step opacity verification problems for networked discrete event systems using labeled Petri nets. Read the full article here: https://www.ieee-jas.net/en/article/doi/10.1109/JAS.2023.124128
Figure 8. Manufacturing system assembling valves.