English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Plus annual

Presents the access of premium content as premium feature

Premium Content

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Tools annual

Global: Zendy Free Plan

Global: Zendy Tools monthly

Global: Zendy Plus monthly

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 f1 and f2) 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 f1 and f2 And then a satisfactory level coefficient (denoted as λ ) concentrating on the optimal compromise solutions of f1 and f2 (denoted as f1* and f2*) 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 λ , f1*, and f2*. The practical potential of the proposed algorithm is demonstrated via a theoretical analysis and several widely used examples from the existing literature

An algorithm to evaluate implementation cost for liveness-enforcing supervisors designed by deadlock prevention policy