Abstract
This paper proposes a new Petri net class, namely, Ratio-enforced weighted Augmented Marked Graphs (RAMGs), and solves ratio control and liveness-enforcing supervision problems for automated manufacturing systems. RAMGs can ensure the required product ratios as demanded by production planners. Since the deadlock of such a system can be attributed to improper acquisition of finite shared resources, a supervisor is introduced such that they are properly allocated. This paper proves that ratio and supervisory controllers for an RAMG can be separately designed. Their design methods are presented. Examples are given to illustrate them.
| Original language | English (US) |
|---|---|
| Article number | 5565544 |
| Pages (from-to) | 201-212 |
| Number of pages | 12 |
| Journal | IEEE Transactions on Systems, Man, and Cybernetics Part A: Systems and Humans |
| Volume | 41 |
| Issue number | 2 |
| DOIs | |
| State | Published - Mar 2011 |
All Science Journal Classification (ASJC) codes
- Software
- Information Systems
- Human-Computer Interaction
- Electrical and Electronic Engineering
- Control and Systems Engineering
- Computer Science Applications
Keywords
- Automated manufacturing systems (AMSs)
- Discrete-event systems
- Marked graph
- Petri nets
- Supervisory control