Design of Petri net-based deadlock prevention controllers for flexible manufacturing systems

  • Authors:

  • Guoqiang Zeng;Weimin Wu;MengChu Zhou;Weijie Mao;Hongye Su;Jian Chu

  • Affiliations:

  • State key Laboratory of Industrial Control Technology & Institute of Cyber-Systems and Control, Zhejiang University, Hangzhou, P.R. China;State key Laboratory of Industrial Control Technology & Institute of Cyber-Systems and Control, Zhejiang Univ., Hangzhou, P.R. China and Department of Electrical and Computer Engineering, New Jers ...;Department of Electrical and Computer Engineering, New Jersey Institute of Technology, Newark, NJ;State key Laboratory of Industrial Control Technology & Institute of Cyber-Systems and Control, Zhejiang University, Hangzhou, P.R. China;State key Laboratory of Industrial Control Technology & Institute of Cyber-Systems and Control, Zhejiang University, Hangzhou, P.R. China;State key Laboratory of Industrial Control Technology & Institute of Cyber-Systems and Control, Zhejiang University, Hangzhou, P.R. China

  • Venue:
  • SMC'09 Proceedings of the 2009 IEEE international conference on Systems, Man and Cybernetics
  • Year:
  • 2009

Quantified Score

Hi-index 0.00

Visualization

Abstract

This paper presents a novel method to design Petri net-based deadlock prevention controllers for flexible manufacturing systems. It starts from the computation of the complete deadlock markings by utilizing the conservativeness property of a Petri net model and the necessary and sufficient condition for deadlock. Then, it verifies a small state space including the dangerous and bad markings only by combining one-step look-forward through the original net and one-step look-backward via its reverse net. Subsequently, it defines the set of place invariants from the subset of marked operation places for the so called "elementary controlled bad markings". Finally, it synthesizes a deadlock prevention controller by a simplified invariant-based method. Its obtained deadlock-free controller allows more behavior of the closed-loop system than those obtained via a siphon-based control method. Its computational efficiency is higher than those based on a complete reachability graph-based control method.