- Tytuł:
- On the Expressive Power of Non-deterministic and Unambiguous Petri Nets over Infinite Words
- Autorzy:
-
Finkel, Olivier
Skrzypczak, Michał - Tematy:
-
automata and formal languages
Petri nets
infinite words
logic in computer science
cantor topology
borel hierarchy
wadge degrees
highly undecidable properties
unambiguous Petri nets - Pokaż więcej
- Dostawca treści:
- BazTech
Artykuł