Maximally permissive liveness-enforcing supervisor with lowest implementation cost for flexible manufacturing systems (Q497950)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Maximally permissive liveness-enforcing supervisor with lowest implementation cost for flexible manufacturing systems |
scientific article |
Statements
Maximally permissive liveness-enforcing supervisor with lowest implementation cost for flexible manufacturing systems (English)
0 references
25 September 2015
0 references
Petri net
0 references
flexible manufacturing system (FMS)
0 references
deadlock prevention
0 references
optimal liveness-enforcing supervisor
0 references
lowest implementation cost
0 references