×

利用参数时间Petri网的展开进行诊断。 (英语) Zbl 1290.68094号

Chatterjee,Krishnendu(编辑)等人,定时系统的形式建模和分析。第八届国际会议,FORMATS 2010,奥地利克洛斯特内堡,2010年9月8-10日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-15296-2/pbk)。计算机科学课堂讲稿6246137-151(2010)。
摘要:本文考虑了用时间参数扩展的时间Petri网模型及其在分布式系统在线诊断中的应用。我们建议将该方法基于展开。给定部分观察,作为一组可能结构化的动作,我们的方法确定了模型中解释观察的事件之间的因果关系。它还可以综合与这些解释相关的参数约束。该方法在工具Romeo中实现。我们将其应用于猪舍的诊断。
关于整个系列,请参见[Zbl 1195.68001号].

MSC公司:

68问题85 并发和分布式计算的模型和方法(进程代数、互模拟、转换网等)

软件:

罗密欧
PDF格式BibTeX公司 XML格式引用
全文: 内政部