1. Infinite behaviour of deterministic Petri nets;Carstensen,1988
2. ω-computations on Turing machines;Cohen;Theor. Comput. Sci.,1978
3. The Wadge hierarchy of Petri nets ω-languages;Duparc,2012
4. The Wadge hierarchy of Petri nets ω-languages;Duparc,2013
5. X-automata on ω-words;Engelfriet;Theor. Comput. Sci.,1993