胡志芳;陆涛 基于Petri网的上下文软件服务建模和干扰发现。 （中文。英文摘要） Zbl 1324.68066号 哈尔滨工程大学。 35，第8期，961-967（2014）. 摘要：为了找出上下文服务之间的显式和隐式干扰，我们提出了一种上下文系统的建模和仿真方法。通过使用时间有色Petri网（TCPN）对服务建模并更改上下文，我们能够模拟一个上下文软件系统，并通过仿真报告分析检查服务之间是否存在干扰。首先，我们通过在传统的有色Petri网中引入时间戳和随机函数来定义TCPN，以模拟物理环境中上下文的随机性。然后，我们讨论了使用定义的TCPN模型对上下文软件系统进行建模的方法。我们提出的建模方法能够很好地模拟实际情况。最后，利用该方法开发了一个阿尔茨海默病智能辅助系统的案例，通过仿真分析发现了服务之间的几种干扰，验证了该方法的可行性和有效性。 MSC公司： 68问题85 并发和分布式计算的模型和方法（过程代数、互模拟、转换网等） 关键词：上下文感知;服务干扰;时间着色Petri网 PDF格式BibTeX公司 XML格式引用 \textit{Z.Hu}和\textit{T.Lu}，哈尔滨工程大学35，No.8，961--967（2014；Zbl 1324.68066） 全文： 内政部