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