@Inproceedings{GHPR13, author = {Geeraerts, G. and Heu\ss{}ner, A. and Praveen, M. and Raskin, J.-F.}, title = {$\omega$-{P}etri nets}, booktitle = {Proceedings of {P}etri {N}ets 2013, 34th international conference on applications and theory of {P}etri nets and concurrency}, Series = {Lecture Notes in Computer Science}, Publisher = {Springer}, volume = { 7927}, pages = {49--69}, year = {2013}, url = {http://arxiv.org/abs/1301.6572} }