@phdthesis{VarpaaniemiLic,
author = {Varpaaniemi, Kimmo},
school = {Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory},
title = {Efficient Detection of Deadlock in {P}etri Nets},
type = {Licentiate's thesis},
year = {1993},
}