Distributed computation of vector clocks in Petri nets unfolding for test selection - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2018

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

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.
Fichier principal
Vignette du fichier
paper.pdf (346.75 Ko) Télécharger le fichier
Origin Files produced by the author(s)
Loading...

Dates and versions

hal-01735406 , version 1 (15-03-2018)

Identifiers

  • HAL Id : hal-01735406 , version 1

Cite

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⟩
176 View
106 Download

Share

Gmail Mastodon Facebook X LinkedIn More