Abstract
For a class of Petri nets whose uncontrollable influence subnets are forward synchronization and backward conflictfree nets, this paper proposes an algorithm to transform a given generalized mutual exclusion constraint (GMEC) into an optimal admissible one. Based on the proposed constraint transformation, a method is given to synthesize an optimal monitor-based supervisors. The proposed method utilizes an optimal monitor-based supervisor to enforce a GMEC containing infinite elements, which has not been seen in any prior research. Moreover, it has higher computational efficiency at the expense of application scope than some existing methods. An example is used to illustrate the application of the proposed method.
Original language | English (US) |
---|---|
Pages (from-to) | 1248-1255 |
Number of pages | 8 |
Journal | IEEE Transactions on Systems, Man, and Cybernetics Part A:Systems and Humans |
Volume | 43 |
Issue number | 5 |
DOIs | |
State | Published - 2013 |
All Science Journal Classification (ASJC) codes
- Control and Systems Engineering
- Software
- Information Systems
- Human-Computer Interaction
- Computer Science Applications
- Electrical and Electronic Engineering
Keywords
- Deadlock
- Discrete event system (DES)
- Flexible manufacturing system
- Petri net