Integrated design of optimal supervisors for the enforcement of static and behavioral specifications in Petri net models (Q2350813)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Integrated design of optimal supervisors for the enforcement of static and behavioral specifications in Petri net models |
scientific article |
Statements
Integrated design of optimal supervisors for the enforcement of static and behavioral specifications in Petri net models (English)
0 references
25 June 2015
0 references
discrete event systems
0 references
supervisory control
0 references
liveness
0 references
Petri nets
0 references
monitors
0 references
linear and nonlinear classifiers
0 references
