Petri网分析工具对一个通讯规程的验证

来源 :计算技术与自动化 | 被引量 : 0次 | 上传用户：yulu0355

【摘要】

：

本文对ISO协议的传输层通讯规程在文献[1]验证的基础上,使用Petri网工具予以佐证。 In this paper, the protocol of transport layer in ISO protocol is verified by the

【作者】

：

陈顺益刘晓辉

【机构】

：

湖南省计算技术研究所,湖南省计算技术研究所,

【出处】

：

计算技术与自动化

【发表日期】

：

1992年01期

【关键词】

：

Petri网死锁可达图网模型并发进程连接释放并发系统软件开发有限状态机状态表

下载到本地 , 更方便阅读

下载此文赞助VIP

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

论文部分内容阅读

本文对ISO协议的传输层通讯规程在文献[1]验证的基础上,使用Petri网工具予以佐证。 In this paper, the protocol of transport layer in ISO protocol is verified by the Petri net tool based on the verification of [1].

其他文献

吐故纳新蜕脱龙变——读张文俊教授山水画

进入耄耋之年的山水画家张文俊先生,在中国画坛独树一帜,其艺术素质与作品质量于同辈画家中不愧为佼佼者。早在50年代,他的力作《梅山水库》就蜚声海内外。画面展现的是祖

期刊

艺术素质王朝闻梅山水库中国画坛山水画家苏联美术家协会中国画创作搜尽奇峰打草稿中国画作品北方山水画派

优质护理服务示范工程在护理外勤的实践

　　目的：在开展优质护理服务示范工程中，做好护理外勤服务工作，扎实稳步推进优质护理服务示范工程.方法：通过完善各项规章制度，实行分片包干、弹性排班，实行绩效考核、优化服务流

会议

护理服务示范工程满意度调查工作效率人性化管理患者满意度外勤工作绩效考核

山东统配煤矿通信专用网组网技术通过鉴定

由机电部石家庄54所总承包的山东煤矿微波通信干线工程,经国家验收委员会验收后,山东统配煤矿通信专用网技术于1991年12月20日通过专家鉴定。该通信网是山东省煤矿工业专用

期刊

组网技术专用通信网微波通信煤矿工业验收委员会会议电话调度电话信道传输综合通信国产设备

评选“国石”一举多得

纵观历史 ,“国家兴盛 ,万业兴旺”。１９４９年 ,中国共产党带领全国人民推翻了半封建半殖民地的旧中国 ,中国人民翻身作了主人 ,我们的国家一天比一天强盛。１９７８年我国改革开放以来 ,祖

期刊

宝玉石经济文化建设媒体报导独山玉寿山石岫岩玉开幕词昌化鸡血石产品销售

采用雅马哈YST-SW1000发挥AST的特长实现扬声器低频和超低频重放效果

AST(有源伺服技术)的特点在于依靠亥姆霍兹共振箱、扬声器驱动装置及负输出阻抗驱动放大器的组合,以提高低频音响特性的重放效果。这种方式的优点是能使超低音扬声器最大限度

期刊

扬声器单元ASTYST-SW1000超低频电路原理频谱仪亥姆霍兹高低频纸盆扬声器系统

探讨糖尿病(DM)自身免疫抗体在糖尿病分型中的诊断意义

目的:分析探讨糖尿病 (DM)自身免疫抗体在糖尿病分型中的诊断意义.方法:选取本院 80 例糖尿病患者开展此次研究,选取时间范围从 2018 年03 月到2019 年03 月,其中 1 型糖尿病

期刊

糖尿病自身免疫抗体糖尿病分型诊断意义

250例孕妇家庭自我监护小结

随着农村孕产妇系统管理工作的开展,如何使孕妇安全的渡过孕育阶段,保证胎儿在母体内健康生长发育,顺利的分娩,其中孕期保健是一个重要的环节。由于群众基础卫生知识和健康

期刊

自我监护孕产妇系统管理孕期保健产前检查高危妊娠妇产科医生自然分娩死胎率生长发育妊娠高血压

8Kb/s脉冲自适应码本激励(PACELP)-一种新的数字移动通信用语音编码方案

数字移动通信近几年来得到长足的发展,而语音低码率编码是其中一项关键技术.本文提出一种脉冲自适应码本激励编码方案.该方案将规则脉冲激励算法和码本激励算法有机地相结合,

期刊

码本PACELPb/s数字移动通信语音编码编码算法低码率储存空间语音质量计算机模拟

似升额蚤(Frontopsylla elatoides wagn)的鼠疫流行病学意义

似升额蚤(下称额蚤)是长尾黄鼠(Cit-ellus undulatus,下称黄鼠)的优势寄生蚤种之一,其数量占黄鼠体蚤的23.5%,巢蚤的19.2%,在灰旱獭及其它小型啮齿动物体上亦常有所获。据19

期刊

鼠疫菌长尾黄鼠灰旱獭流行病学意义似升额蛋寄生蚤方形黄鼠蚤啮齿动物自然疫源毒力因子

烟台苹果生产现状及改造途径

烟台自1871年引入栽培苹果,距今已有100余年,由于生态环境适宜,一直是我国重要的苹果生产基地。一、生产现状 1988年烟台苹果栽培面积已达到130万亩,产量达到4.55亿kg,但是

期刊

烟台苹果苹果品种多头高接倭锦果品质量生产基地苹果栽培幼龄果园新红星乔纳金

Petri网分析工具对一个通讯规程的验证

与本文相关的学术论文