Model Checking Linear Temporal Logic Properties of Petri Nets with Fairness Constraints

Reference:

Timo Latvala. Model checking linear temporal logic properties of petri nets with fairness constraints. Master's thesis, Helsinki University of Technology, October 2000.

Suggested BibTeX entry:

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