MMS通信服务的Petri网建模

摘要：

制造报文规范是一套用于工业控制系统的通信协议,本文从多种形式化分析工具中,选定Petri网对MMS通信服务进行描述、分析和验证,详细给出了操作员通信服务的Petri网模型,并通过可达图和关联矩阵完成了可达性和不变性的分析.最后提出了OSI的网络分层,为MMS的有色随机Petri网模拟,从而进行性能评估提供了思路.本文对于更深入地理解MMS通信服务并逐步加以实现具有重要意义.

关键词：MMS、Petri网、操作员通信服务

所属期刊栏目：34

分类号：TN91

在线出版日期：2005-12-15（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：108-111