专利摘要
本发明公开了一种基于马尔可夫过程的IED形式化描述性能分析方法，包括以下步骤：将CSP描述转换成Petri网后，每一个变迁的延时服从指数分布函数，就构成了一个随机Petri网，应用它就可以对CSP描述的系统进行性能分析；余下的步骤如下：(1)构造出该随机Petri网所同构的马尔可夫链；(2)基于马尔可夫链的稳定状态概率计算CSP描述的系统的性能参数变化规律，为IED的形式化设计提供参考。
专利附图
一种基于马尔可夫过程的IED形式化描述性能分析方法专利购买费用说明
Q：办理专利转让的流程及所需资料
A：专利权人变更需要办理著录项目变更手续，有代理机构的，变更手续应当由代理机构办理。
1：专利变更应当使用专利局统一制作的“著录项目变更申报书”提出。
2：按规定缴纳著录项目变更手续费。
3：同时提交相关证明文件原件。
4：专利权转移的，变更后的专利权人委托新专利代理机构的，应当提交变更后的全体专利申请人签字或者盖章的委托书。
Q:专利著录项目变更费用如何缴交
A：（1）直接到国家知识产权局受理大厅收费窗口缴纳,（2）通过代办处缴纳，（3）通过邮局或者银行汇款,更多缴纳方式
Q：专利转让变更，多久能出结果
A：著录项目变更请求书递交后，一般1-2个月左右就会收到通知，国家知识产权局会下达《转让手续合格通知书》。
动态评分
0.0