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. Technical Report A67, Helsinki University of Technology, January 2001.

Suggested BibTeX entry:

@techreport{Lat01a,
    author = {Timo Latvala},
    institution = {Helsinki University of Technology},
    month = {January},
    number = {A67},
    title = {Model Checking Linear Temporal Logic Properties of Petri Nets with Fairness Constraints},
    year = {2001},
}