@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} }