巴托斯·格拉比克;路易斯·马里·特劳努埃兹;克洛德·贾德;莱姆,迪迪埃;奥利维尔·H·鲁克斯。 利用参数时间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号]. 引用于1文件 MSC公司: 68问题85 并发和分布式计算的模型和方法(进程代数、互模拟、转换网等) 关键词:展开;时间Petri网;参数;诊断;监督 软件:罗密欧 PDF格式BibTeX公司 XML格式引用 \textit{B.Grabiec}等人,Lect。注释计算。科学。6246、137--151(2010年;Zbl 1290.68094) 全文: 内政部