Skip to Main content Skip to Navigation
Conference papers

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.
Document type :
Conference papers
Complete list of metadatas

Cited literature [11 references]  Display  Hide  Download

https://hal.inria.fr/hal-01735406
Contributor : Stefan Schwoon <>
Submitted on : Thursday, March 15, 2018 - 7:31:28 PM
Last modification on : Thursday, July 2, 2020 - 5:27:27 PM
Document(s) archivé(s) le : Tuesday, September 11, 2018 - 4:41:51 AM

File

paper.pdf
Files produced by the author(s)

Identifiers

  • 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⟩

Share

Metrics

Record views

291

Files downloads

222