@techreport{
    Lat01a,
    author = "Latvala, Timo",
    title = "Model Checking Linear Temporal Logic Properties of Petri Nets with Fairness Constraints",
    url = "http://www.tcs.hut.fi/Publications/info/bibdb.HUT-TCS-A67.shtml",
    number = "A67",
    month = "January",
    flags = "public, copy",
    year = "2001",
    institution = "Helsinki University of Technology"
}