Efficient Detection of Deadlock in Petri Nets

Reference:

Kimmo Varpaaniemi. Efficient Detection of Deadlock in Petri Nets. Licentiate's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory, 1993.

Suggested BibTeX entry:

@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},
}