Petri Net Unfolding-Based Detection and Replay of Program Deadlocks

Petri Net Unfolding-Based Detection and Replay of Program Deadlocks

Program deadlock detection plays an important role in ensuring the stability of software systems. In view of the high efficiency and low false alarm rate, dynamic deadlock analysis methods are widely studied. However, existing dynamic analysis methods use lock graph or its extended variants to model...

Full description

Bibliographic Details
Main Authors: Faming Lu, Fenghua Lv, Minghao Cui, Yunxia Bao, Qingtian Zeng
Format: Article
Language:English
Published: IEEE 2024-01-01
Series:IEEE Access
Subjects:
Petri net
deadlock detection
net unfolding
discrete event system
program verification
Online Access:https://ieeexplore.ieee.org/document/10489962/

Internet

https://ieeexplore.ieee.org/document/10489962/

Similar Items