|
|||||
|
|
| MMS通信服务的Petri网建模 | |
| 引用本文： | 李整,朱永利,邸剑,郭军.MMS通信服务的Petri网建模[J].河北工业大学学报,2005,34(Z1):108-111. |
| 作者姓名： | 李整 朱永利 邸剑 郭军 |
| 作者单位： | 华北电力大学,计算机科学与技术学院,河北,保定,071003 |
| 摘 要： | 制造报文规范是一套用于工业控制系统的通信协议,本文从多种形式化分析工具中,选定Petri网对MMS通信服务进行描述、分析和验证,详细给出了操作员通信服务的Petri网模型,并通过可达图和关联矩阵完成了可达性和不变性的分析.最后提出了OSI的网络分层,为MMS的有色随机Petri网模拟,从而进行性能评估提供了思路.本文对于更深入地理解MMS通信服务并逐步加以实现具有重要意义. |
| 关 键 词： | MMS Petri网 操作员通信服务 |
| 修稿时间： | 2005年6月11日 |
| 本文献已被 万方数据 等数据库收录！ | |