Model Checking LTL Properties of High-Level Petri Nets with Fairness Constraints

Reference:

Timo Latvala. Model checking LTL properties of high-level petri nets with fairness constraints. In J-M. Colom and M. Koutny, editors, Application and Theory of Petri Nets, pages 242–262, Berlin, 2001. Springer.

[Copyright © Springer-Verlag]

Suggested BibTeX entry:

@inproceedings{Lat01b,
    address = {Berlin},
    author = {Timo Latvala},
    booktitle = {Application and Theory of Petri Nets},
    editor = {J-M. Colom and M. Koutny},
    pages = {242--262},
    publisher = {Springer},
    title = {Model Checking {LTL} Properties of High-Level Petri Nets with Fairness Constraints},
    year = {2001},
}