@article{GHPR13-journal,
        author = {Geeraerts, G. and Praveen, M. and Heu\ss{}ner, A. and Raskin, J.-F.},
        journal= {Fundamenta Informaticae}
        Note = {36 pages. {\bf Invited contribution}. Extended version
        of \cite{GHPR13}. To appear},
        Title = {$\omega$-{P}etri nets: algorithms and complexity},
        Year = {2014},
        publisher = {Polish Mathemaical Society}
}