Distributed computation of vector clocks in Petri nets unfolding for test selection

Loïg Jezequel 1 Agnes Madalinski 2 Stefan Schwoon 3, 4
3 MEXICO - Modeling and Exploitation of Interaction and Concurrency
LSV - Laboratoire Spécification et Vérification [Cachan], ENS Cachan - École normale supérieure - Cachan, Inria Saclay - Ile de France, CNRS - Centre National de la Recherche Scientifique : UMR8643
Abstract : It has been shown that annotating Petri net unfoldings with time stamps allows for building distributed testers for distributed systems. However, the construction of the annotated unfolding of a distributed system currently remains a centralized task. In this paper we extend a distributed unfolding technique in order to annotate the resulting unfolding with time stamps. This allows for distributed construction of distributed testers for distributed systems.
Type de document :
Communication dans un congrès
Workshop on Discrete Event Systems (WODES), May 2018, Sorrento, Italy
Liste complète des métadonnées

Littérature citée [11 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01735406
Contributeur : Stefan Schwoon <>
Soumis le : jeudi 15 mars 2018 - 19:31:28
Dernière modification le : jeudi 19 avril 2018 - 11:46:05

Fichier

paper.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01735406, version 1

Citation

Loïg Jezequel, Agnes Madalinski, Stefan Schwoon. Distributed computation of vector clocks in Petri nets unfolding for test selection. Workshop on Discrete Event Systems (WODES), May 2018, Sorrento, Italy. 〈hal-01735406〉

Partager

Métriques

Consultations de la notice

139

Téléchargements de fichiers

32