Verification of Session Initiation Protocol Using Timed Colored Petri Net

来源 :通讯、网络与系统学国际期刊(英文) | 被引量 : 0次 | 上传用户:klammj
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
In this work, Session Initiation Protocol model is established by using Timed Colored Petri Nets (TCPN). SIP (Session Initiation Protocol) is a protocol developed to assist in providing advanced telephony services across the Internet. The Session Initiati
其他文献
<正>去年10月,《上海集邮》&#39;电信卡之窗&#39;专栏在上海电信卡部等各方面的关心和支持下,和广大集卡爱好者见面了。一年来,专栏借《上海集邮》之&#39;船&#39;,扬电信卡之
纯音测听检查包括最基础的骨导听阈测试和气导听阈测试二个方面.纯音测听测试结果的准确性受多方因素影响,其中最重要的一条就是在测试过程中,如何正确地使用掩蔽噪声.下面结
常见的电话卡都是以PET为材料的塑料卡片,卡面上印刷有各种图案。日本NTT、中国电信全国通用磁卡在卡背面涂有一层磁性涂料和相关保护层。英国GPT、瑞士亚斯康和意大利梅乌特
This paper introduces a simple combining technique for cooperative relay scheme which is based on a Detect-and-Forward (DEF) relay protocol. Cooperative relay s
The aim of this research paper is to improve the performance of Fast Transversal Filter (FTF) adaptive algorithm used for mobile channel estimation. A multi-ray
不同的抗HBV的药物联合有可能提高抗病毒效果和推迟耐药性产生.为此我们采用博尔泰力(苦参素)注射液与拉米夫定联合和单用拉米夫定治疗慢性乙型肝炎,并进行了对比观察,现将结