The reachability problem for Petri nets is not elementary - Archive ouverte HAL
Communication Dans Un Congrès Année : 2019

The reachability problem for Petri nets is not elementary

Wojciech Czerwiński
  • Fonction : Auteur
University of Warsaw
Sławomir Lasota
  • Fonction : Auteur
University of Warsaw
Ranko Lazić
  • Fonction : Auteur
University of Warwick [Coventry]
Jérôme Leroux
Laboratoire Bordelais de Recherche en Informatique
CV
Filip Mazowiecki
University of Warwick [Coventry]

Domaines

Informatique [cs]
Fichier principal
Vignette du fichier
WRAP-reachability-problem-Petri-nets-not-elementary-Lazic-2019.pdf (1.13 Mo) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Jérôme Leroux  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-02390629

Soumis le : jeudi 14 novembre 2024-11:05:52

Dernière modification le : mercredi 20 novembre 2024-03:11:56

Télécharger pour visualiser

Dates et versions

hal-02390629 , version 1 (14-11-2024)

Identifiants

Citer

Wojciech Czerwiński, Sławomir Lasota, Ranko Lazić, Jérôme Leroux, Filip Mazowiecki. The reachability problem for Petri nets is not elementary. Proceedings of the 51st Annual {ACM} {SIGACT} Symposium on Theory of Computing, {STOC} 2019, Phoenix, AZ, USA, June 23-26, 2019, Jun 2019, Phoenix, United States. pp.24-33, ⟨10.1145/3313276.3316369⟩. ⟨hal-02390629⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS UNIV-BORDEAUX ANR
24 Consultations
1 Téléchargements

Altmetric

Partager

More