OpenAlex
On the ω-language expressive power of extended Petri nets
Work