Integrated design of optimal supervisors for the enforcement of static and behavioral specifications in Petri net models (Q2350813)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 6450299
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Integrated design of optimal supervisors for the enforcement of static and behavioral specifications in Petri net models |
scientific article; zbMATH DE number 6450299 |
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
0.8204652070999146
0 references
0.8167305588722229
0 references
0.8114268183708191
0 references
0.8099927306175232
0 references
0.7940919995307922
0 references
