Deadlock avoidance policy for petri-net modeling of flexible manufacturing systems with shared resources

IEEE Transactions on Automatic Control

Volumn 41, Issue 2, 1996, Pages 289-295

  Xing, Ke Yi ^a   Hu, Bao Sheng ^a   Chen, Hao Xun ^a  

^a XI'AN JIAOTONG UNIVERSITY   (China)

Author keywords

[No Author keywords available]

Indexed keywords

CONTROL THEORY; FLEXIBLE MANUFACTURING SYSTEMS; MATHEMATICAL MODELS; PETRI NETS; SET THEORY;

CLOSED LOOP SYSTEMS; DEADLOCK AVOIDANCE ALGORITHMS; OPEN LOOP SYSTEM; RESOURCE SHARED SYSTEM;

CLOSED LOOP CONTROL SYSTEMS;

EID: 0030081790     PISSN: 00189286     EISSN: None     Source Type: Journal    
DOI: 10.1109/9.481550     Document Type: Article

References (9)

1. J. L. Peterson, Petri Net Theory and the Modeling of Systems. Englewood Cliffs, NJ: Prentice-Hall, 1981.
2. N. Viswanadham, Y. Narahari, and T. L. Johnson, "Deadlock prevention and deadlock avoidance in FMS using Petri net models," IEE Trans. Robotics Automat., vol. 6, no. 6, 1990.
3. Minoura and C. Ding, "A deadlock prevention method for a sequence controller for manufacturing," Int. J. Robotics Automat., vol. 6, no. 3, 1991.
4. Z. A. Banaszak and B. H. Krogh, "Deadlock avoidance in flexible manufacturing systems with concurrently competing process flows," IEEE Trans. Robotics Automat., vol. 6, no. 6, 1990.
5. T. Murata, B. Shenker, and S. M. Shatz, "Detection of ada static deadlock using Petri net invariants," IEEE Trans. Software Eng., vol. 15, no. 3, 1989.
6. B. H. Krogh and L. Holloway, "Synthesis of feedback control logic for discrete manufacturing systems," Automatica, vol. 27, no. 4, 1991.
7. F. S. Hsieh and S. C. Chang, "Dispatching-driven deadlock avoidance controller synthesis for flexible manufacturing systems," IEEE Trans. Robotics Automat., vol. 10, no. 2, 1994.
8. J. Ezpeleta, J. M. Colom, and J. Martinez, "A Petri net based deadlocked prevention policy for flexible manufacturing systems," IEEE Trans. Robotics Automat., vol. 11, no. 2, 1995.
9. M. C. Zhou and F. DiCesare, Petri Net Synthesis for Discrete Event Control of Manufacturing Systems. Boston, MA: Kluwer Academic, 1993.