论文部分内容阅读
按照OSI/ RM模型的层次,论述了Petri网在网络协议工程中的研究进展情况,并从协议描述、协议验证与分析的角度给出了基于Petri网的协议工程的基本方法,最后用有色Petri网对数据链路层的Stop-and-Wait通信协议进行描述分析.
网络协议工程中的Petri网技术
【摘 要】
：
按照OSI/ RM模型的层次,论述了Petri网在网络协议工程中的研究进展情况,并从协议描述、协议验证与分析的角度给出了基于Petri网的协议工程的基本方法,最后用有色Petri网对数
【机 构】
：
山东理工大学计算机教学部
【出 处】
：
山东理工大学学报：自然科学版
【发表日期】
：
2005年1期
其他文献
微型企业融资难一直是当前的重点课题，也是一个亟待解决的问题，融资难现状制约着我国经济的均衡发展。本文在分析微型企业的定义、微型企业现有融资模式和状况的基础上对其取得
本发明涉及一种铝基可锻铝合金，其包括至少一种软相和硬颗粒，其中所述软相是选自第一元素组的至少一种元素，该第一元素组由锡、锑、铟和铋组成，硬颗粒是钪和／或锆，和选自第二元素组
凤凰网消息，国家安监总局发布总局令，《煤矿安全培训规定》于今年7月1日起施行。规定要求。对发生重大、特别重大生产安全责任事故且负有主要责任的煤矿。应当撤销其主要负责人
一种适于压铸在铸态具有很高延展性的部件的铝合金，其除了铝和不可避免存在的杂质外，还含有9．0到11．0（重量％，下同）的硅，0．5到0．9的锰，至多0．06的镁，至多0．15的铁，至多0．03的铜，至多0．10的锌，至多0
据《中国交通报》报道，近日，我国向国际海事组织递交《鼓励缔约国在自愿的基础上尽早实施IMSBC规则修正案》提案，得到国际海事组织（IMO）高度认可并获得通过。
汽车轻型化的首要对策是汽车铝化,汽车铝化所需铝件为铸件、型材及板材.本文着重介绍车身嵌板铝合金的材料特性、成形性评价方法、提高成形性的特殊成形法、典型合金的特性,
本文基于农村土地产权权能研究了农村土地金融和农村经济的发展，探讨了产权界定不清晰与农民长久贫困的联系，通过动态模型和静态分析，说明了土地产权权能对农村土地金融的作用机
本文对市场导向型组织变革理论进行分析，从三个维度（包括企业文化、科学管理方法、企业体制机制）出发，对金字塔型结构评价指标体系进行了构建．进而提出了企业管理创新能力评价的变