公开(公告)号：CN104156515A

公开(公告)日：2014-11-19

申请号：CN201410364935.8

申请日：2014-07-28

Applicant: 湖北文理学院

Inventor： 张其林 ,  王先培 ,  赵永标 ,  袁磊

IPC: G06F17/50

CPC classification number: Y02T10/82

Abstract: 本发明公开了一种基于马尔可夫过程的IED形式化描述性能分析方法，包括以下步骤：将CSP描述转换成Petri网后，每一个变迁的延时服从指数分布函数，就构成了一个随机Petri网，应用它就可以对CSP描述的系统进行性能分析；余下的步骤如下：(1)构造出该随机Petri网所同构的马尔可夫链；(2)基于马尔可夫链的稳定状态概率计算CSP描述的系统的性能参数变化规律，为IED的形式化设计提供参考。

公开(公告)号：CN104156515B

公开(公告)日：2017-09-15

申请号：CN201410364935.8

申请日：2014-07-28

Applicant: 湖北文理学院

Inventor： 张其林 ,  王先培 ,  赵永标 ,  袁磊

IPC: G06F17/50

CPC classification number: Y02T10/82

Abstract: 本发明公开了一种基于马尔可夫过程的IED形式化描述性能分析方法，包括以下步骤：将CSP描述转换成Petri网后，每一个变迁的延时服从指数分布函数，就构成了一个随机Petri网，应用它就可以对CSP描述的系统进行性能分析；余下的步骤如下：(1)构造出该随机Petri网所同构的马尔可夫链；(2)基于马尔可夫链的稳定状态概率计算CSP描述的系统的性能参数变化规律，为IED的形式化设计提供参考。