Performance Petri net analysis of communications protocol software by delay-equivalent aggregation
Performance Petri net analysis of communications protocol software by delay-equivalent aggregation
复制标题
通过延迟等效聚合对通信协议软件进行性能 Petri 网分析
DOI：
10.1109/pnpm.1991.238781
复制
发表时间：
1991
期刊：
影响因子：
--
通讯作者：
Yao Li
中科院分区：
文献类型：
--
作者：
C. Woodside;Yao Li
Petri网模型的性能分析受到底层马尔可夫模型状态爆炸的限制。为了克服这个问题，得到一个迭代近似技术，使用一些辅助模型，每个低得多的状态复杂度。它是证明了一个实质性的模型，它代表了一个并行实现的两层协议的数据通信。该模型代表了10个独立的软件任务和他们的相互作用，通过会合，并在实验室中的测试平台实现的基础上。子模型可以以各种方式构造，这是用四种不同的分解来说明的。对它们的状态空间复杂度、求解时间和求解精度进行了评价。<<ETX>>
Performance analysis of Petri net models is limited by state explosion in the underlying Markovian model. To overcome this problem, an iterative approximate technique is obtained, using a number of auxiliary models, each of much lower state complexity. It is demonstrated on a substantial model which represents a parallel implementation of two layers of protocols for data communications. The model represents ten separate software tasks and their interactions via rendezvous, and is based on a testbed implementation in the laboratory. Submodels can be constructed in various ways, and this is illustrated with four different decompositions. Their state space complexity, solution time and solution accuracy are evaluated.<<ETX>>