Abstract
This paper addresses the deadlock avoidance problem in track systems in semiconductor fabrication. Without buffer space in it, the existing deadlock avoidance policies tend to be too conservative. Routing flexibility provides a chance to develop better ones, but makes their computation more complex. This paper models a track system using colored resource-oriented Petri net (CROPN). Based on the model, a sufficient condition for deadlock-free operation and the corresponding control law are presented. This proposed policy is shown computationally efficient. An example is presented to demonstrate its application.
| Original language | English (US) |
|---|---|
| Pages (from-to) | 193-198 |
| Number of pages | 6 |
| Journal | Proceedings - IEEE International Conference on Robotics and Automation |
| Volume | 1 |
| State | Published - 2002 |
| Externally published | Yes |
| Event | 2002 IEEE International Conference on Robotics and Automation - Washington, DC, United States Duration: May 11 2002 → May 15 2002 |
All Science Journal Classification (ASJC) codes
- Software
- Control and Systems Engineering
- Artificial Intelligence
- Electrical and Electronic Engineering