On Functions Weakly Computable by Petri Nets and Vector Addition Systems - Archive ouverte HAL Accéder directement au contenu
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⟩
42 Consultations
89 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More