@inproceedings{
    Lat01b,
    editor = "Colom, J-M. and Koutny, M.",
    author = "Latvala, Timo",
    publisher = "Springer",
    htmlnote = "Copyright © Springer-Verlag",
    title = "Model Checking {LTL} Properties of High-Level Petri Nets with Fairness Constraints",
    url = "http://link.springer.de/link/service/series/0558/papers/2075/20750242.pdf",
    booktitle = "Application and Theory of Petri Nets",
    address = "Berlin",
    flags = "public",
    year = "2001",
    pages = "242--262"
}