The Wadge Hierarchy of Petri Nets ω-Languages
DOI10.1007/978-3-642-35722-0_13zbMath1437.68096OpenAlexW150988440MaRDI QIDQ3455844
Jacques Duparc, Jean-Pierre Ressayre, Olivier Finkel
Publication date: 11 December 2015
Published in: Logical Foundations of Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-35722-0_13
Formal languages and automata (68Q45) Descriptive set theory (03E15) Games involving topology, set theory, or logic (91A44) Automata and formal grammars in connection with logical questions (03D05) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Complexity classes (hierarchies, relations among complexity classes, etc.) (68Q15)
Related Items (1)
Cites Work
- Unnamed Item
- Unnamed Item
- Lectures on concurrency and Petri nets. Advances in Petri nets.
- Fine hierarchies and m-reducibilities in theoretical computer science
- Wadge reducibility and infinite computations
- Wadge degrees of infinitary rational relations
- Fine hierarchy of regular \(\omega\)-languages
- \(X\)-automata on \(\omega\)-words
- Borel determinacy
- \(\omega\)-computations on Turing machines
- Remarks on blind and partially blind one-way multicounter machines
- A hierarchy of deterministic context-free \(\omega\)-languages.
- Borel hierarchy and omega context free languages.
- Infinite behaviour of Petri nets
- Wadge hierarchy and Veblen hierarchy Part I: Borel sets of finite rank
- Borel ranks and Wadge degrees of context free $\omega$-languages
- FINE HIERARCHY OF REGULAR APERIODIC ω-LANGUAGES
- Highly Undecidable Problems For Infinite Computations
- On ω-regular sets
- Chains and Superchains for ω-Rational Sets, Automata and Semigroups
- Wadge Degrees ofω-Languages of Deterministic Turing Machines
- THE WAGNER HIERARCHY
- Decision problems forω-automata
- Testing and generating infinite sequences by a finite automaton
- Computer science and the fine structure of Borel sets
- Topological properties of omega context-free languages
- Wadge hierarchy of omega context-free languages
This page was built for publication: The Wadge Hierarchy of Petri Nets ω-Languages
