Verification of Current-State Opacity in Discrete Event Systems by Using Basis Coverability Graphs
A new approach to the verification of current-state opacity for discrete event systems is proposed in this paper, which is modeled with unbounded Petri nets. The concept of opacity verification is first extended from bounded Petri nets to unbounded Petri nets. In this model, all transitions and part...
Αποθηκεύτηκε σε:
| Κύριοι συγγραφείς: | , , , , |
|---|---|
| Μορφή: | Artigo |
| Γλώσσα: | Inglês |
| Έκδοση: |
MDPI AG
2023-04-01
|
| Σειρά: | Mathematics |
| Θέματα: | |
| Διαθέσιμο Online: | https://www.mdpi.com/2227-7390/11/8/1798 |
| Ετικέτες: |
Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!
|