@phdthesis{LaineLic,
author = {Laine, Antti},
school = {Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory},
title = {The Analysis of a Communication Protocol Using High Level Petri Nets},
type = {Licentiate's thesis},
year = {1990},
}