Supervisor synthesis for enforcing linear constraints on a class of Petri nets with unobservable transitions (Q4684051)
From MaRDI portal
scientific article; zbMATH DE number 6944629
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Supervisor synthesis for enforcing linear constraints on a class of Petri nets with unobservable transitions |
scientific article; zbMATH DE number 6944629 |
Statements
Supervisor synthesis for enforcing linear constraints on a class of Petri nets with unobservable transitions (English)
0 references
27 September 2018
0 references
discrete event system
0 references
Petri nets
0 references
forbidden states
0 references
supervisory control
0 references
