@mastersthesis{LatvalaMsc,
author = {Latvala, Timo},
school = {Helsinki University of Technology, Department of Electrical and Communications Engineering},
title = {Model Checking Linear Temporal Logic Properties of {P}etri Nets with Fairness Constraints},
year = {2000},
}