【摘 要】
:
本文介绍了用Petri网描述协议的方法,给出了ISO传输层第三类协议的Petri网说明,并且利用可达树、可达图等分析工具对所给Petri网进行了分析,然后讨论了所给的结果。描述协议
论文部分内容阅读
本文介绍了用Petri网描述协议的方法,给出了ISO传输层第三类协议的Petri网说明,并且利用可达树、可达图等分析工具对所给Petri网进行了分析,然后讨论了所给的结果。描述协议的Petri网不仅可以对协议进行验证说明,而且可以作为协议实现的一种工具。
This paper introduces the method of using Petri nets to describe the protocol, gives a description of Petri nets for the third kind of protocols in ISO transport layer, and analyzes the Petri nets by using tools such as reachable tree and reachability graph, then discusses The result given. Petri nets that describe the protocol not only verify the protocol, but also serve as a tool for implementing the protocol.
其他文献
Alkaline zinc manganese dioxide(Zn–MnO_2)batteries are widely used in everyday life. Recycling of waste alkaline Zn–MnO_2 batteries has always been a hot envi
本文首先简要综述了DECnet-VAX的概貌,重点剖析了DECnet-VAX数据链路层DDCMP协议。其为网络的互连,导种机入网,以及开发其他网络软件打下了基础。
This article begins with
本文叙述了OSI加密体系结构的应用范围和领域。定义了OSI体系中的一些重要概念。描述了安全服务和机构。介绍了服务、机构和层之间的关系和配置的情况。最后,提出了OSI的安全
癍痕手术切除加大剂量放疗防止癍痕复发研究TheStudyofPreventingRecurrentofScarbyCica┐tricotomyAddingDose-incueasedRadiotherapy孟锡意魏林风赵宝荣张家口市解放军第251医院...
癍 marks surgical resection increased dose of radiation to prevent the recu
一、羽毛球自身功能的开发1.自抛自击:原地手持羽毛球拍,连续向上击球(相当于排球的自抛自垫),看谁连续击球次数多为胜。建议:可比连续击球次数或连续击球时间的方法进行。2.
5例患者均男性;年龄23~33岁;职业:干部2例,工人、司机、营业员各1例;有冶遊史2例,夫妻共患尖锐湿疣2例。伴有淋病、阴虱1例。病程3~7月。
5 patients were male; aged 23 to
2017年3月28日,由全国机械职业教育教学指导委员会、中国机械工业教育协会、机械工业教育发展中心主办,陕西工业职业技术学院(下简称“陕西工院”)承办的全国机械行业材料成
“转基因”是不是要转变人的基因啊?吃了转基因食品,会不会把自己的基因给转掉呢?
Does “genetically modified” mean to change human genes? If you eat genetically mo
<正> 在马克思的《路易斯·亨·摩尔根<古代社会>一书摘要》中,曾读到马克思引述塔西佗的这样一句话:“土地是公社公有的……由于土地广大,分配较易进行。他们每年交换耕地,但他们的土地还是绰绰有余”。(《马克思恩格斯全集》第45卷第571页)这
作者对1975年以来用中西医结合治疗SLE的25例随访观察,探讨激素的使用问题。临床资料男1例,女24例。年龄17~46岁,病期1~90个月。轻型9例,无明显内脏损害;中型10例,伴肾或肝脏