Blocking and controllability of Petri nets in supervisory control (Q4309230)
From MaRDI portal
scientific article; zbMATH DE number 653379
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Blocking and controllability of Petri nets in supervisory control |
scientific article; zbMATH DE number 653379 |
Statements
Blocking and controllability of Petri nets in supervisory control (English)
0 references
1 November 1994
0 references
discrete event systems
0 references
Petri net languages
0 references
supervisory control theory
0 references
supremal controllable sublanguage operator
0 references
