论文部分内容阅读
按照OSI/ RM模型的层次,论述了Petri网在网络协议工程中的研究进展情况,并从协议描述、协议验证与分析的角度给出了基于Petri网的协议工程的基本方法,最后用有色Petri网对数据链路层的Stop-and-Wait通信协议进行描述分析.
网络协议工程中的Petri网技术
【摘 要】
：
按照OSI/ RM模型的层次,论述了Petri网在网络协议工程中的研究进展情况,并从协议描述、协议验证与分析的角度给出了基于Petri网的协议工程的基本方法,最后用有色Petri网对数
【机 构】
：
山东理工大学计算机教学部
【出 处】
：
山东理工大学学报：自然科学版
【发表日期】
：
2005年1期
其他文献
微型企业融资难一直是当前的重点课题，也是一个亟待解决的问题，融资难现状制约着我国经济的均衡发展。本文在分析微型企业的定义、微型企业现有融资模式和状况的基础上对其取得
本文基于农村土地产权权能研究了农村土地金融和农村经济的发展，探讨了产权界定不清晰与农民长久贫困的联系，通过动态模型和静态分析，说明了土地产权权能对农村土地金融的作用机
本文对市场导向型组织变革理论进行分析，从三个维度（包括企业文化、科学管理方法、企业体制机制）出发，对金字塔型结构评价指标体系进行了构建．进而提出了企业管理创新能力评价的变