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