MMS通信服务的Petri网建模

来源 :河北工业大学学报 | 被引量 : 0次 | 上传用户：zoook

【摘要】

：

制造报文规范是一套用于工业控制系统的通信协议,本文从多种形式化分析工具中,选定Petri网对MMS通信服务进行描述、分析和验证,详细给出了操作员通信服务的Petri网模型,并通

【作者】

：

李整朱永利邸剑郭军

【机构】

：

华北电力大学

【出处】

：

河北工业大学学报

【发表日期】

：

2005年z1期

【关键词】

：

MMS PETRI网操作员通信服务

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

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

其他文献

骨架密实型水泥稳定碎石基层施工与质量控制

介绍了常一吉路面P7合同段水泥稳定碎石基层骨架密实结构施工过程中的配合比设计，材料选择，实验路施工，大面积施工过程中的质量控制要点。

期刊

骨架密实型水泥稳定碎石半刚性基层施工质量控制skeleton compaction type cement stabilized macadem ha

省地一体化电网融冰管理系统的设计与实现

考虑湖南电网特殊地理气候特征导致输电线路较易发生覆冰的特点,结合湖南电网以往防冻融冰工作开展经验,开发了湖南电网省地一体化电网融冰管理系统。本文重点介绍了系统的总

期刊

融冰管理系统一体化融冰方案冰情ice melting management system integration ice melting program

浅谈职业高中计算机教学的创新

本文作者结合计算机课程的教学特点，分析并说明了计算机教学中应重视培养学生的学习兴趣、思维想象能力、动手操作能力，从而提高学生学习和利用现代信息技术获取信息，分析信息和

期刊

计算机职业高中学习能力

水泥稳定砂砾容许拉应力的修正

基于半刚性基层的干缩和温缩现象，考虑基层在含有收缩裂纹的受力状态时的极限弯拉应力，通过对不同水泥剂量的水泥稳定砂砾的劈裂试验和含裂纹的小梁弯拉试验，把由断裂韧度求出的

期刊

道路工程水泥稳定砂砾容许拉应力断裂韧度Road engineering Cement-stabilized sand gravel Allowable

教学中如何培养音乐思维与能力

（江苏省仪征市青山中心学校，江苏仪征）　　　　[摘要]:音乐是积聚灵感、催发情感、激活想象的艺术。不仅能陶冶情操，提高素养，而且能开展智力，特别是能激活学生的创新潜能。音乐教育是向学生实施美育的主要手段，是学校教育中必不可缺的组成部分。　　[关键词]:音乐教学学生音乐思维能力　　　　音乐是积聚灵感、催发情感、激活想象的艺术。不仅能陶冶情操，提高素养，而且能开展智力，特别是能激活学生的创新

期刊

音乐教学学生音乐思维能力

MMS通信服务的Petri网建模

其他学术论文