Supervisory control of deterministic Petri nets with regular specification languages (Q4876593)
From MaRDI portal
scientific article; zbMATH DE number 873821
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Supervisory control of deterministic Petri nets with regular specification languages |
scientific article; zbMATH DE number 873821 |
Statements
Supervisory control of deterministic Petri nets with regular specification languages (English)
0 references
13 June 1996
0 references
supervisory control theory
0 references
discrete-event systems
0 references
algorithms
0 references
deterministic Petri net language
0 references
regular language
0 references
minimally restrictive supervisor
0 references
