文章基本信息

标题：Distributed computation of vector clocks in Petri nets unfolding for test selection
本地全文：下载
作者：Loïg Jezequel ; Agnes Madalinski ; Stefan Schwoon 等
期刊名称：IFAC PapersOnLine
印刷版ISSN：2405-8963
出版年度：2018
卷号：51
期号：7
页码：106-111
DOI：10.1016/j.ifacol.2018.06.287
语种：English
出版社：Elsevier
摘要：AbstractIt 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.
关键词：KeywordsPetri-netsDiscrete timeConcurrent systemsDistributed modelsTest generation