On Functions Weakly Computable by Petri Nets and Vector Addition Systems - Archive ouverte HAL
Communication Dans Un Congrès Année : 2014

On Functions Weakly Computable by Petri Nets and Vector Addition Systems

Résumé

We show that any unbounded function weakly computable by a Petri net or a VASS cannot be sublinear. This answers a long-standing folklore conjec-ture about weakly computing the inverses of some fast-growing functions. The proof relies on a pumping lemma for sets of runs in Petri nets or VASSes.
Fichier principal
Vignette du fichier
main.pdf (366.99 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01084971 , version 1 (20-11-2014)

Identifiants

Citer

Jérôme Leroux, Ph Schnoebelen. On Functions Weakly Computable by Petri Nets and Vector Addition Systems. Reachability Problems - 8th International Workshop, {RP} 2014, Sep 2014, Oxford, United Kingdom. pp.190 - 202, ⟨10.1007/978-3-319-11439-2_15⟩. ⟨hal-01084971⟩
50 Consultations
108 Téléchargements

Altmetric

Partager

More