@techreport{d0703bd5da3f445baec1403f80a8c692,
title = "Efficient Detection of Deadlocks in Petri Nets",
keywords = "deadlocks, Petri nets, reachability analysis, sleep set method, stubborn set method, deadlocks, Petri nets, reachability analysis, sleep set method, stubborn set method, deadlocks, Petri nets, reachability analysis, sleep set method, stubborn set method",
author = "K. Varpaaniemi",
year = "1993",
language = "English",
series = "Digital Systems Laboratory, Series A: Research Reports",
publisher = "Helsinki University of Technology",
number = "26",
type = "WorkingPaper",
institution = "Helsinki University of Technology",
}