Abstract
A problem emerging from CIM implementation is that of system deadlock. This short paper introduces deadlocking of manufacturing systems and describes some related work in the deadlocking of computer systems. A formal model for manufacturing systems deadlock detection is presented. Necessary and sufficient conditions for manufacturing system deadlock based on actual manufacturing system characteristics are defined along with a set of bounds for searching for deadlocks. An implementation approach is also presented.
| Original language | English (US) |
|---|---|
| Pages (from-to) | 853-859 |
| Number of pages | 7 |
| Journal | IEEE Transactions on Robotics and Automation |
| Volume | 7 |
| Issue number | 6 |
| DOIs | |
| State | Published - 1991 |
All Science Journal Classification (ASJC) codes
- Control and Systems Engineering
- Electrical and Electronic Engineering