Paper Info
Title
Distributed computation of vector clocks in Petri net unfoldings for test selection
Abstract
It has been shown that annotating Petri nets unfoldings with time stamps allows to build 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 distributed construction of distributed testers for distributed systems.
Year
DOI
Venue
2020
10.1007/s10626-020-00310-4
Discrete Event Dynamic Systems
Keywords
DocType
Volume
Petri-nets, Discrete time, Concurrent systems, Distributed models, Test generation
Journal
30
Issue
ISSN
Citations 
3
0924-6703
0
PageRank 
References 
Authors
0.34
0
3
Name
Order
Citations
PageRank
Loïg Jezequel100.34
Agnes Madalinski200.34
Stefan Schwoon322.11