×

zbMATH — the first resource for mathematics

Distributed computation of vector clocks in Petri net unfoldings for test selection. (English) Zbl 1448.93183
Summary: 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.
MSC:
93C55 Discrete-time control/observation systems
68W15 Distributed algorithms
93-10 Mathematical modeling or simulation for problems pertaining to systems and control theory
PDF BibTeX XML Cite
Full Text: DOI
References:
[1] Athanasiou K, Ponce de León H, Schwoon S (2015) Test case generation for concurrent systems using event structures. In: TAP, pp 19-37
[2] Baldan P, Haar S, Kȯnig B (2006) Distributed unfolding of petri nets. In: Proceedings of FOSSACS, Lecture Notes in Computer Science, vol 3921, pp 126-141 · Zbl 1180.68185
[3] Esparza J, Heljanko K (2008) Unfoldings – a Partial-Order approach to model checking springer · Zbl 1153.68035
[4] Esparza J, Jezequel L, Schwoon S (2013) Computation of summaries using net unfoldings. In: FSTTCS, pp 225-236 · Zbl 1359.68220
[5] Fabre E (2007) Bayesian networks of dynamic systems. Habilitation, Université, Rennes 1
[6] Fidge, CJ, Timestamps in message-passing systems that preserve the partial ordering, Aust Comput Sci Commun, 10, 1, 56-66 (1988)
[7] Jezequel L, Madalinski A, Schwoon S (2018) Distributed computation of vector clocks in Petri nets unfolding for test selection. In: Proceedings of WODES 18, IFAC-papersonline, vol 51(7). Elsevier, pp 106-111
[8] Lamport, L., Time, clocks, and the ordering of events in a distributed system, Commun ACM, 21, 7, 558-565 (1978) · Zbl 0378.68027
[9] Madalinski, A.; Fabre, E., Modular construction of finite and complete prefixes of Petri net unfoldings, Fund Inf, 95, 1, 219-244 (2009) · Zbl 1215.68157
[10] Mattern F (1988) Virtual time and global states of distributed systems. In: International workshop on parallel and distributed algorithms, pp 215-226
[11] Ponce de León H, Haar S, Longuet D (2013) Unfolding-based test selection for concurrent conformance. In: ICTSS, pp 98-113
[12] Ponce de León H, Haar S, Longuet D (2014) Distributed testing of concurrent systems: Vector clocks to the rescue. In: ICTAC, pp 369-387 · Zbl 1432.68317
[13] Tretmans J (1999) Testing concurrent systems: a formal approach. In: CONCUR, pp 46-65
[14] Winskel G (1984) Categories of models for concurrency. In: Seminar on concurrency, carnegie-mellon university, lecture notes in computer science, vol 197, Pittsburgh, pp 246-267
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.