@article{Geeraerts:2015:9NA:2751290.2751293,
    Address = {Amsterdam, The Netherlands, The Netherlands},
    Author = {Geeraerts, Gilles and Heu{\ss}ner, Alexander and Praveen, M. and Raskin, Jean-Fran\c{c}ois},
    ISSN = {0169-2968},
    Journal = {Fundam. Inf.},
    Month = {January},
    Number = {1},
    Pages = {29--60},
    Publisher = {IOS Press},
    Title = {{$\omega$} Petri Nets: Algorithms and Complexity},
    URL = {http://dx.doi.org/10.3233/FI-2015-1169},
    Volume = {137},
    Year = {2015},
    acmid = {2751293},
    bdsk-url-1 = {http://dx.doi.org/10.3233/FI-2015-1169},
    date-added = {2015-12-14 06:23:54 +0000},
    date-modified = {2015-12-14 06:23:54 +0000},
    issue_date = {January 2015},
    numpages = {32},
    doi = {10.3233/FI-2015-1169}
}

@article{Geeraerts:2015:9NA:2751290.2751293, Address = {Amsterdam, The Netherlands, The Netherlands}, Author = {Geeraerts, Gilles and Heu{\ss}ner, Alexander and Praveen, M. and Raskin, Jean-Fran\c{c}ois}, ISSN = {0169-2968}, Journal = {Fundam. Inf.}, Month = {January}, Number = {1}, Pages = {29--60}, Publisher = {IOS Press}, Title = {{$\omega$} Petri Nets: Algorithms and Complexity}, URL = {http://dx.doi.org/10.3233/FI-2015-1169}, Volume = {137}, Year = {2015}, acmid = {2751293}, bdsk-url-1 = {http://dx.doi.org/10.3233/FI-2015-1169}, date-added = {2015-12-14 06:23:54 +0000}, date-modified = {2015-12-14 06:23:54 +0000}, issue_date = {January 2015}, numpages = {32}, doi = {10.3233/FI-2015-1169} }