【摘 要】
：
本文介绍Petr(?)网之后,讨论了Petr(?)网在描述和验证网络协议中的应用,并用Petri 网描述了一个局网协议.
After the introduction of Petr (?) Network, this paper discus
【机 构】
：
上海复旦大学计算机科学系,上海复旦大学计算机科学系
论文部分内容阅读
本文介绍Petr(?)网之后,讨论了Petr(?)网在描述和验证网络协议中的应用,并用Petri 网描述了一个局网协议.
After the introduction of Petr (?) Network, this paper discusses the application of Petr (?) Network in describing and verifying the network protocol, and uses Petri nets to describe an office network protocol.
其他文献
笔者撰写的《整草免浸泡栽培鸡腿菇》科普文章,已由中央电视台科教中心编辑兼记者魏川生、摄像师王建民摄制成电视科教片,中央电视台1套、2套分别在第92期《田野》节目中作
目的:分析PDCA循环法应用于静脉药物配置中心的效果.方法:我院自2019年1月－6月起对静脉药物配置中心实施 PDCA循环法管理,减少各个环节的失误率.结果:静脉药物配置中心实施了
日本“资生堂”化妆品厂，为增进职工健康。每天早晨上班前让全体员工脱鞋在鹅卵石铺的走道上行走10分钟。下班后再重复走一次。通过这样的锻炼，多数人感到收效显著，生产效率提高，医药费用减少。于是，许多日本厂家纷纷仿效，自建这种“健康步行道”。 中医理论和生物全息医学认为，赤足在鹅卵石道上走，刺激足底，能通过经络的传导协调脏腑功能，促进气血流畅，调整失衡状态，提高机体免疫力，有益于增强体质、预防疾病；对
1989年4月23日,中国三十年代的“电影皇后”胡蝶病逝于加拿大温哥华。她生前曾经表示,希望有朝一日能够重返故里,和亲朋好友聚首话旧,但是她的愿望未能买现。今年是胡蝶逝世
利用墙壁使上身旋转,可以收紧腹部,使膨隆的腹部恢复原样。1.靠近墙壁,打开双足至双肩宽度,随后,下半身保持不动,身体转向左侧,使双手贴墙,最后用力吐一口气,再回到原位置。
利用兰州重离子加速器进行了百万门SRAM型FPGA的单粒子效应实验研究.给出了实验方法、实验流程、实验系统的设计方案以及获得的实验结果.通过实验获得了该器件配置存储器和片
毛泽东给溥仪提了两条建议毛泽东在湘味家宴的餐桌旁,给溥仪提了两条具体建议:是结婚成家,一是修改好回忆录。溥仪记住了,而且照办。962年4月30日,溥仪和关厢医院一位普通护
在铁路自控、遥控技术中,利用钢轨作为传递信息的通道是一种既简便,又可节省投资的手段。一些欧美国家在70年代发展了电子计轴器(见本刊1985年第12期)及音频无绝缘轨道电路
目的:对比、分析2型糖尿病应用胰岛素泵和多次胰岛素强化治疗的效果.方法:将我院收治的80例2型糖尿病患者随机分成参照组(行多次胰岛素皮下注射强化治疗)、实验组(行胰岛素泵
目的:探究前置胎盘不同附着位置对妊娠结局的影响.方法:本次实验对象全部选自本院2016年4月至2019年8月期间收治的72例前置胎盘剖宫产产妇,35例胎盘附着于子宫前壁的为前壁组