A petri net approach of deadlock prevention in batch processes in case of failure

IEEE International Symposium on Industrial Electronics

Volumn 1, Issue , 2002, Pages 205-210

  Kezic D ^a   Peric N ^b   Petrovic I ^b  

^a UNIVERSITY OF SPLIT   (Croatia)

^b UNIVERSITY OF ZAGREB   (Croatia)

Author keywords

[No Author keywords available]

Indexed keywords

BATCH DATA PROCESSING; CEMENT INDUSTRY; CONTROLLERS; INDUSTRIAL ELECTRONICS; INDUSTRIAL PLANTS; LOCAL AREA NETWORKS; PETRI NETS; SUPERVISORY PERSONNEL;

BATCH PROCESS; DEADLOCK PREVENTION; DEADLOCK-FREE OPERATIONS; EQUIPMENT FAILURES; FAILURE POSSIBILITY; LOCAL AREA NETWORKS (LAN); ONE PARTS; PROGRAMMABLE LOGICAL CONTROLLER (PLC);

PROCESS CONTROL;

EID: 33344466893     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/isie.2002.1026066     Document Type: Conference Paper

References (6)

1. Barkaoui, K. J. Abdallah, "Deadlock Avoidance in FMS Based on Structural theory of Petri Nets", IEEE Symposium on Emerging Technologies and Factory Automation, 1995, pp 499-510.
2. J, Ezpelta, J. Colom, J. Martinez, "A Petri Net Based Deadlock Prevention Policy for Flexible Manufacturing Systems". IEEE Trans. on Robotics and Automation, Vol. 11, no. 2. April 1995, pp 173-184.
3. M. lordache, J. Moody. P. Antsaklis. "Automated Synthesis of Deadlock Prevention Supervisor Using Petri Nets". Technical report of the ISIS Group at the University of Noter Dame, ISIS-2000-003. May 2000.
4. L. Lautenbach, H. Ridder, "The Linear Algebra of Deadlock Avoidance - A Petri Net Approach", Resarch Report of Institute for Computer Science. University of Koblenz, Germany, 1996.
5. F. Lewis, H. Huang, D. Tacconi, A. Gurel, O. Pastravanu, "Analysis of Deadlocks and Circular Waits Using a Matrix Model for Discrete Event Systems". Automatica, Vol. 34. no. 9, 1998, pp 0-19.
6. T. Murata, "Petri Nets: Properties, Analysis and Applications", in Proc. of the IEEE. 1989, 77(4), pp 541-580.