×

兹马思-数学第一资源

用可达图分析RTCP网络。(英语) Zbl公司 1106.68076
简介:RTCP网是时间着色Petri网的一个子类,用于对嵌入式实时系统进行建模和分析。强有界RTCP网络的一个主要优点是可以使用有限可达性和/或覆盖性图来表示RTCP网络的可达状态集。这些图可以用来验证网络的大多数属性,包括定时特性。本文讨论了基于这些图的分析方法。文中给出了RTCP网络的形式化定义及其性质。

理学硕士:
6885年 并行和分布式计算的模型和方法(过程代数、互模拟、转移网等)
PDF格式 BibTeX公司 XML 引用