Computationally Improved Optimal Deadlock Control Policy for Flexible Manufacturing Systems

@article{Huang2012ComputationallyIO,
  title={Computationally Improved Optimal Deadlock Control Policy for Flexible Manufacturing Systems},
  author={Yi-Sheng Huang and Yen-Liang Pan and Mengchu Zhou},
  journal={IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans},
  year={2012},
  volume={42},
  pages={404-415}
}
Deadlock prevention, deadlock detection, and deadlock avoidance strategies are used to solve the deadlock problems of flexible manufacturing systems. The theory of regions is recognized as the unique method for obtaining maximally permissive (i.e., optimal) controllers in the existing literature. All legal and live maximal behavior of a Petri net model can be preserved by using a marking/transition-separation instance (MTSI). However, obtaining them is an extremely time consuming problem. This… CONTINUE READING
Highly Cited
This paper has 55 citations. REVIEW CITATIONS
26 Extracted Citations
43 Extracted References
Similar Papers

Citing Papers

Publications influenced by this paper.
Showing 1-10 of 26 extracted citations

55 Citations

01020'12'13'14'15'16'17'18
Citations per Year
Semantic Scholar estimates that this publication has 55 citations based on the available data.

See our FAQ for additional information.

Referenced Papers

Publications referenced by this paper.
Showing 1-10 of 43 references

An optimal deadlock prevention policy for flexible manufacturing systems using Petri net models with resources and the theory of regions

  • M. Uzam
  • Int. J. Adv. Manuf. Technol., vol. 19, no. 3, pp…
  • 2002
Highly Influential
10 Excerpts

Deadlock avoidance in FMS based on structural theory of Petri nets

  • K. Barkaoui, I. B. Abdallah
  • Proc. IEEE Symp. Emerging Technol. Factory Autom…
  • 1995
Highly Influential
20 Excerpts

Petri nets: Properties, analysis and applications

  • T. Murata
  • Proc. IEEE, vol. 77, no. 4, pp. 541–580, Apr…
  • 1989
Highly Influential
6 Excerpts

Synthesis of feedback control elements for discrete event systems using Petri net models and theory of regions

  • M. Uzam
  • Int. J. Adv. Manuf. Technol., vol. 24, no. 1/2…
  • 2004
Highly Influential
13 Excerpts

Design of a maximally permissive livenessenforcing supervisor with a compressed supervisory structure for flexible manufacturing systems

  • Z. W. Li
  • IEEE Trans . Autom . Sci . , Eng .
  • 2011

Similar Papers

Loading similar papers…