Skip to main navigation
Skip to search
Skip to main content
New Jersey Institute of Technology Home
Help & FAQ
Home
Profiles
Research units
Facilities
Federal Grants
Research output
Press/Media
Search by expertise, name or affiliation
Two-stage method for synthesizing liveness-enforcing supervisors for flexible manufacturing systems using Petri nets
Zhi Wu Li,
Meng Chu Zhou
Electrical and Computer Engineering
Research output
:
Contribution to journal
›
Article
›
peer-review
247
Scopus citations
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Two-stage method for synthesizing liveness-enforcing supervisors for flexible manufacturing systems using Petri nets'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Keyphrases
Petri Nets
100%
Flexible Manufacturing System
100%
Mixed Integer Programming
100%
Liveness-enforcing Supervisor
100%
Programming Method
66%
Liveness
66%
Detection Method
33%
Control Method
33%
Plant Model
33%
Reachability Analysis
33%
Deadlock Control
33%
Two-stage Approach
33%
Deadlock Detection
33%
Computer Science
Petri Net
100%
Mixed Integer Programming
100%
Liveness
100%
Deadlock
66%
Programming Method
66%
Detection Method
33%
Reachability Analysis
33%
Control Method
33%
Engineering
Flexible Manufacturing System
100%
Liveness
100%
Reachability
33%
Made Paper
33%
Rearranges
33%
Economics, Econometrics and Finance
Mixed-Integer Programming
100%
Flexible Manufacturing System
100%