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, Department of Electrical and Communications Engineering, 2000.

Suggested BibTeX entry:

@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},
}