A petri net based deadlock avoidance policy for flexible manufacturing systems with assembly operations and multiple resource acquisition
Document Type
Article
Publication Date
6-1-2019
Abstract
Efficient deadlock control policies are very important in the operation of flexible manufacturing systems (FMS). This paper focuses on deadlock control problems for a general class of FMS. They have three interesting characteristics from the application point of view. First, flexible routes of parts and assembly operations are allowed. Second, the number of parts of the same type in a product may be more than one. Third, an operation may require multiple resources. To characterize such FMS, a Petri net model that can deal well with all FMS characteristics is developed. Based on it, this paper proposes a Banker's-algorithm-like deadlock avoidance policy. The proposed policy is proved to be polynomial in the model size. Moreover, experimental results indicate its effectiveness and superiority over the state-of-the-art policies.
Identifier
85055059351 (Scopus)
Publication Title
IEEE Transactions on Industrial Informatics
External Full Text Location
https://doi.org/10.1109/TII.2018.2876343
ISSN
15513203
First Page
3379
Last Page
3387
Issue
6
Volume
15
Grant
2015ZD53050
Fund Ref
Fundamental Research Funds for the Central Universities
Recommended Citation
Luo, Jianchao; Liu, Zhiqiang; and Zhou, Mengchu, "A petri net based deadlock avoidance policy for flexible manufacturing systems with assembly operations and multiple resource acquisition" (2019). Faculty Publications. 7564.
https://digitalcommons.njit.edu/fac_pubs/7564
