Petri Net Unfolding-Based Detection and Replay of Program Deadlocks.

Faming Lu Fenghua Lv Minghao Cui Yunxia Bao Qingtian Zeng

Published in: IEEE Access (2024)

Keyphrases

petri net
petri net model
static analysis
manufacturing systems
high level petri nets
colored petri nets
discrete event systems
service composition
web service composition
ims ld
fuzzy petri net
source code
process model
concurrent processes