On the High Complexity of Petri Nets $$\omega $$-Languages (Q5100750)
From MaRDI portal
scientific article; zbMATH DE number 7580927
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | On the High Complexity of Petri Nets $$\omega $$-Languages |
scientific article; zbMATH DE number 7580927 |
Statements
On the High Complexity of Petri Nets $$\omega $$-Languages (English)
0 references
1 September 2022
0 references
automata
0 references
formal languages
0 references
Petri nets
0 references
infinite words
0 references
logic in computer science
0 references
Cantor topology
0 references
Borel hierarchy
0 references
Wadge hierarchy
0 references
Wadge degrees
0 references
highly undecidable properties
0 references
