On the Topological Complexity of omega-Languages of Non-Deterministic Petri Nets - Logique
Article Dans Une Revue Information Processing Letters Année : 2014

On the Topological Complexity of omega-Languages of Non-Deterministic Petri Nets

Résumé

We show that there are $\Sigma_3^0$-complete languages of infinite words accepted by non-deterministic Petri nets with Büchi acceptance condition, or equivalently by Büchi blind counter automata. This shows that omega-languages accepted by non-deterministic Petri nets are topologically more complex than those accepted by deterministic Petri nets.

Domaines

Logique en informatique [cs.LO] Complexité [cs.CC]
Fichier principal
Vignette du fichier
non-det-petri-nets.pdf (123.97 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Olivier Finkel  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-00936744

Soumis le : lundi 27 janvier 2014-13:23:52

Dernière modification le : vendredi 24 mars 2023-14:52:58

Archivage à long terme le : dimanche 27 avril 2014-22:37:37

Télécharger pour visualiser

Dates et versions

hal-00936744 , version 1 (27-01-2014)

Identifiants

Citer

Olivier Finkel, Michał Skrzypczak. On the Topological Complexity of omega-Languages of Non-Deterministic Petri Nets. Information Processing Letters, 2014, 114 (5), pp.229-233. ⟨hal-00936744⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-PARIS7 UPMC CNRS ELM IMJ IMJ_LOG SORBONNE-UNIVERSITE SU-SCIENCES UP-SCIENCES
138 Consultations
100 Téléchargements

Altmetric

Partager

More