The Wadge Hierarchy of Petri Nets \emph\(\omega\)-Languages
Détails
ID Serval
serval:BIB_C002A9B1A2FF
Type
Actes de conférence (partie): contribution originale à la littérature scientifique, publiée à l'occasion de conférences scientifiques, dans un ouvrage de compte-rendu (proceedings), ou dans l'édition spéciale d'un journal reconnu (conference proceedings).
Collection
Publications
Institution
Titre
The Wadge Hierarchy of Petri Nets \emph\(\omega\)-Languages
Titre de la conférence
Logical Foundations of Computer Science, International Symposium, LFCS 2013, January 6-8, 2013. Proceedings
Adresse
San Diego, CA, USA
ISSN
0302-9743
Statut éditorial
Publié
Date de publication
2013
Peer-reviewed
Oui
Volume
7734
Série
Lecture Notes in Computer Science
Pages
179-193
Langue
anglais
Notes
DBLP:conf/lfcs/DuparcFR13
Résumé
We describe the Wadge hierarchy of the ω-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 ω-regular languages. Petri nets are an improvement of automata. They may be defined as partially blind multi-counter automata. We show that the whole hierarchy has height ωω2, and give a description of the restrictions of this hierarchy to every fixed number of partially blind counters.
Mots-clé
Wadge Hierarchy,Regular Language, Automata, Petrinet, Deterministic
Site de l'éditeur
Création de la notice
09/09/2014 11:13
Dernière modification de la notice
08/07/2021 6:36
Données d'usage
