Titre
The Wadge Hierarchy of Petri Nets omega-Languages
Type
partie de livre
Institution
UNIL/CHUV/Unisanté + institutions partenaires
Série
Ontos Mathematical Logic 4
Auteur(s)
Duparc, J.
Auteure/Auteur
Finkel, O.
Auteure/Auteur
Ressayre, J-P.
Auteure/Auteur
Éditeur(s)
Brattka, V.
Diener, H.
Spreen, D.
Liens vers les personnes
Liens vers les unités
Maison d’édition
De Gruyter
Lieu d’édition
Berlin, Germany
Titre du livre ou conférence/colloque
Logic, Computation, Hierarchies
ISBN du livre
978-1-61451-804-4
Statut éditorial
Publié
Date de publication
2014
Volume
4
Première page
109
Dernière page/numéro d’article
138
Peer-reviewed
Oui
Langue
anglais
Résumé
We describe the Wadge hierarchy of the omega-languages recognized by deterministic Petri nets. This is an extension of the celebrated Wagner hierarchy which turned out to be the Wadge hierarchy of the omega-regular languages. Petri nets are more powerful devices than finite automata. They may be defined as partially blind multi-counter automata. We show that the whole hierarchy has height omega(omega 2), and give a description of the restrictions of this hierarchy to partially blind multi-counter automata of some fixed positive number of counters.
PID Serval
serval:BIB_08F9DE6D3D34
Date de création
2014-09-09T09:26:45.162Z
Date de création dans IRIS
2025-05-20T20:27:26Z