Petri net model for deadlock detection and avoidance in flexible manufacturing cells

Horng Huei Kuo, Jose Antonio Ventura, Ridwan

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Scopus citations

Abstract

In manufacturing systems, deadlock problems were ignored by most research articles in the past because of its difficulty in describing the deadlock phenomena. However, deadlock is an extremely undesirable situation in FMS practice. In this research, a part-flow-based coloured Petri net is proposed to model the flexible manufacturing cell deadlock problem. A procedure is presented to detect and avoid system deadlocks.

Original languageEnglish (US)
Title of host publicationIndustrial Engineering Research - Conference Proceedings
PublisherIIE
Pages785-792
Number of pages8
StatePublished - 1995
EventProceedings of the 1995 4th Industrial Engineering Research Conference - Nashville, TN, USA
Duration: May 24 1995May 25 1995

Other

OtherProceedings of the 1995 4th Industrial Engineering Research Conference
CityNashville, TN, USA
Period5/24/955/25/95

    Fingerprint

All Science Journal Classification (ASJC) codes

  • Industrial and Manufacturing Engineering

Cite this

Kuo, H. H., Ventura, J. A., & Ridwan (1995). Petri net model for deadlock detection and avoidance in flexible manufacturing cells. In Industrial Engineering Research - Conference Proceedings (pp. 785-792). IIE.