Critical Observability Verification and Enforcement of Labeled Petri Nets by Using Basis Markings (Q6200013)
From MaRDI portal
scientific article; zbMATH DE number 7811049
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Critical Observability Verification and Enforcement of Labeled Petri Nets by Using Basis Markings |
scientific article; zbMATH DE number 7811049 |
Statements
Critical Observability Verification and Enforcement of Labeled Petri Nets by Using Basis Markings (English)
0 references
29 February 2024
0 references
critical observability
0 references
discrete event system (DES)
0 references
Petri net (PN)
0 references
supervisory control
0 references
