Deadlock Prevention Policy for S4PR Nets Based on Siphon
IEEE Access(2018)
Zhejiang Sci Tech Univ
Abstract
Computational efficiency and behavioral permissiveness are important criteria for evaluating the performance of deadlock control strategies. How to achieve an effective tradeoff between these criteria is a hot research topic in the field of deadlock prevention. Toward this end, a new iterative deadlock prevention policy based on mixed integer programming is proposed for a class of Petri nets called systems of sequential systems with shared resources (S 4 PR) nets. In each iteration, a minimal bad siphon is first calculated using the new approach, and a monitor is then designed to forbid all S'-bad markings that turn the siphon S into a bad siphon. The algorithm terminates when no bad siphon is detected. The resultant system derived from the proposed approach has more permissive behavior compared with that derived from existing policies. Furthermore, optimal controlled systems can be obtained for some S 4 PR nets. Moreover, the computational efficiency of the algorithm is low because computation of the reachability graph and complete siphon enumeration are avoided.
MoreTranslated text
Key words
Deadlock prevention,liveness,mixed integer programming,optimal
PDF
View via Publisher
AI Read Science
Must-Reading Tree
Example

Generate MRT to find the research sequence of this paper
Data Disclaimer
The page data are from open Internet sources, cooperative publishers and automatic analysis results through AI technology. We do not make any commitments and guarantees for the validity, accuracy, correctness, reliability, completeness and timeliness of the page data. If you have any questions, please contact us by email: report@aminer.cn
Chat Paper
Summary is being generated by the instructions you defined