@mastersthesis{
    Lat00,
    author = "Latvala, Timo",
    ps = "master.ps",
    school = "Helsinki University of Technology",
    title = "Model Checking Linear Temporal Logic Properties of Petri Nets with Fairness Constraints",
    month = "October",
    flags = "public, copy",
    year = "2000"
}