【摘 要】
：
本文以基于Ｐｅｔｒｉ网的协议工程工作站为研究目标，阐述协议工程工作站的基本功能，简介ＥＰｒ／ＴＮ网系统，着重探讨作者实现的协议描述分析辅助工具ＰＥＳＡＴ的功能特点和实现技术，并以一个例子加以说明．最后作
论文部分内容阅读
本文以基于Ｐｅｔｒｉ网的协议工程工作站为研究目标，阐述协议工程工作站的基本功能，简介ＥＰｒ／ＴＮ网系统，着重探讨作者实现的协议描述分析辅助工具ＰＥＳＡＴ的功能特点和实现技术，并以一个例子加以说明．最后作者指出ＰＥＳＡＴ的完善工作和理想协议工程工作站建立的前景．
In this paper, based on the Petri net protocol engineering workstation as the research objective, expounds the basic functions of the protocol engineering workstation, introduces the EPr / TN network system, focuses on the author’s protocol description analysis tool PESAT functional features and implementation techniques, and an example Explain. Finally, the author points out the prospect of PESAT’s improvement work and the establishment of an ideal protocol engineering workstation.
其他文献
请下载后查看，本文暂不支持在线获取查看简介。
Please download to view, this article does not support online access to view profile.
近年来,我们对164例带状疱疹患者进行了外周血淋巴细胞E—玫瑰花结形成试验和PHA皮试,现报告如下。临床资料患者均为门诊病人,男74例,女90例。年龄6～74岁,无肿瘤及长期应用肾
20 0 3年 12月 10— 12日 ,首届信息社会世界峰会 (WorldSummitontheInformationSociety ,简称WSIS)在瑞士日内瓦召开。此次会议由国际电信联盟 (ITU)牵头 ,联合国经社理事会
近日,山东省威海市鲸园小学“尚美童心创意民俗”美术作品展在威海画院、威海市美术馆展览厅举行。鲸园小学队员近百幅剪纸、布贴、编织、玩具等民俗艺术作品和创意环保作品
有人说,慧聪根本就不是一个互联网公司,慧聪每个月发行的纸质网刊有100万企业在看,它的主要利润来源也是网刊,它就是一个做刊的企业。互联网的特征就是要把纸质媒体杀掉,不
在2013年9月6～8日召开的第三届中国(宁波)智慧城市技术与应用产品博览会(以下简称智博会)上,海伯集团旗下海韦斯智能科技有限公司自主品牌——“格立阁”智能家居控制系统系列
随着社会的发展和时代的进步,人们逐渐开始重视小学生在德育方面的教育问题。由于心智的不成熟等原因,学生在小学时期,容易受到外界各方面的影响,从而造成一些性格习惯的形成
如果没有搜索工具,在浩如烟海的网络中寻找有用信息,其难度像在一个没有卡片目录、藏书方法完全随机的图书馆内寻找一本书。Google 搜索名震天下,这归功于它将“大海捞针”般
提出一种计算带相变的自由界面的数值算法.基于分段线性界面重构(PLIC)的VOF(volume-of-fluid)方法用于追踪自由界面,并对汽液交界面上的相变导致的不连续速度场给出处理方法
尖锐湿疣是常见的性传播疾病之一。过去由于其常与慢性淋病伴发,曾被认为是淋病的继发症,随着近代医学的研究进展,现已确认为一种独立的性传播性疾病之一。近数年来,本病在