Communication Dans Un Congrès Année : 2019

Distance Between Mutually Reachable Petri Net Configurations

Résumé

Petri nets are a classical model of concurrency widely used and studied in formal verification with many applications in modeling and analyzing hardware and software, data bases, and reactive systems. The reachability problem is centralsince many other problems reduce to reachability questions. In 2015, we proved that a variant of the reachability problem, called the reversible reachability problem is exponential-space complete. Recently, this problem found several unexpected applications in particular in the theory of population protocols. In this paper we propose to revisit the reversible reachability problem in order to prove that the minimal distance in the reachability graph of two mutually reachable configurations is linear with respect to the Euclidian distance between those two configurations.

Fichier principal
Vignette du fichier
main.pdf (498.42 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Licence
Loading...
DOI

Cite 10.4230/LIPIcs.FSTTCS.2019.47 Autre Leroux, J. (2019). Distance Between Mutually Reachable Petri Net Configurations (Version 1.0). Schloss Dagstuhl – Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPICS.FSTTCS.2019.47

Dates et versions

hal-02156549 , version 1 (14-06-2019)

Licence

Identifiants

  • HAL Id : hal-02156549 , version 1

Citer

Jérôme Leroux. Distance Between Mutually Reachable Petri Net Configurations. 39th {IARCS} Annual Conference on Foundations of Software Technology and Theoretical Computer Science, {FSTTCS} 2019, December 11-13, 2019, Bombay, India, Nov 2019, Bombay, India. ⟨hal-02156549⟩
178 Consultations
248 Téléchargements

Partager

  • More