@inproceedings{a530ee8563b34fbabc692b2ecd5364c1,
title = "On Combining the Stubborn Set Method with the Sleep Set Method",
keywords = "deadlock detection, place/transition nets, reachability analysis, sleep set method, stubborn set method, deadlock detection, place/transition nets, reachability analysis, sleep set method, stubborn set method, deadlock detection, place/transition nets, reachability analysis, sleep set method, stubborn set method",
author = "K. Varpaaniemi",
year = "1994",
language = "English",
pages = "548--567",
editor = "R. Valette",
booktitle = "The 15th International Conference on Application and Theory of Petri Nets, Zaragoza, Spain, 19-26.6.1994",
publisher = "SPRINGER",
address = "Germany",
}