Deadlock Prevention Policy for S<sup>4</sup>PR Nets Based on Siphon

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 deadl...

Full description

Bibliographic Details
Main Authors: Qiaoli Zhuang, Wenzhan Dai, Shouguang Wang, Fan Ning
Format: Article
Language:English
Published: IEEE 2018-01-01
Series:IEEE Access
Subjects:
Online Access:https://ieeexplore.ieee.org/document/8458483/