A Siphon-Based Deadlock Prevention Strategy for S<sup>3</sup>PR
Iterative deadlock prevention strategies based on siphons have drawn increasing attention. For iterative strategies, selecting which siphon to control at each iteration has an influence on the final supervisor in structural complexity, computational complexity, and behavioral permissiveness. In this...
Main Authors: | Xin Guo, Shouguang Wang, Dan You, Zhifu Li, Xiaoning Jiang |
---|---|
Format: | Article |
Language: | English |
Published: |
IEEE
2019-01-01
|
Series: | IEEE Access |
Subjects: | |
Online Access: | https://ieeexplore.ieee.org/document/8730297/ |
Similar Items
-
A Deadlock Prevention Policy for a Class of Multithreaded Software
by: Wenli Duo, et al.
Published: (2020-01-01) -
Petri Net Unfolding-Based Detection and Replay of Program Deadlocks
by: Faming Lu, et al.
Published: (2024-01-01) -
DETECTION OF DEADLOCKS IN PARALLEL PROGRAMS AS SOLUTION OF LINEAR DIOPHANTINE EQUATIONS
by: Olga F. Babakhyan
Published: (2018-07-01) -
Design of River System Deadlock Avoidance Supervisor by Using Petri Net
by: Danko Kezić, et al.
Published: (2010-05-01) -
An MIP-Based Deadlock Prevention Policy for Siphon Control
by: Qiaoli Zhuang, et al.
Published: (2019-01-01)