文章基本信息

标题：An algorithm to evaluate implementation cost for liveness-enforcing supervisors designed by deadlock prevention policy
本地全文：下载
作者：Shaoyong Li ; Xingda Xiao ; Ying Cai 等
期刊名称：Advances in Mechanical Engineering
印刷版ISSN：1687-8140
电子版ISSN：1687-8140
出版年度：2016
卷号：8
期号：7
DOI：10.1177/1687814016658388
语种：English
出版社：Sage Publications Ltd.
摘要：Deadlock prevention policy is widely used to design the liveness-enforcing supervisors because of its advantage that deadlocks are considered and solved in design and planning stages for flexible manufacturing systems modeled with Petri nets. However, how to evaluate the implementation cost of these liveness-enforcing supervisors is not done in the existing literature. This article proposes an algorithm to evaluate the implementation cost performance of different liveness-enforcing supervisors designed by deadlock prevention policy. By designing a multiple objective linear programming problem associated with two parameters (denoted as f₁ and f₂) to characterize the corresponding implementation costs for the added control places and the related input and out transitions and control arcs, the proposed algorithm first obtains the variable regions of f₁ and f₂ And then a satisfactory level coefficient (denoted as λ ) concentrating on the optimal compromise solutions of f₁ and f₂ (denoted as f₁^* and f₂^*) is solved by a linear programming problem. As a result, the implementation cost performance of the corresponding liveness-enforcing supervisor can be indicated conveniently on the basis of the values of λ , f₁^*, and f₂^*. The practical potential of the proposed algorithm is demonstrated via a theoretical analysis and several widely used examples from the existing literature.
关键词：Flexible manufacturing system; Petri nets; deadlocks; liveness-enforcing supervisor; implementation cost performance; multiple objective linear programming problem