Computer Science ›› 2014, Vol. 41 ›› Issue (7): 122-129.doi: 10.11896/j.issn.1002-137X.2014.07.025
Previous Articles Next Articles
LIU Jing,YE Xin-ming and MA Yuan-fei
| [1] Rosenberg J,Schulzrinne H,Camarillo G,et al．RFC 3261,SIP:Session Initiation Protocol[S]．Internet Engineering Task Force,2002 [2] 张智江,张云勇,刘韵洁．SIP协议及其应用[M]．北京:电子工业出版社,2005 [3] Jensen K,Kristensen L M.Coloured Petri Nets:Modelling and Validation of Concurrent Systems[M]．Berlin:Springer,2009 [4] 王东敏．基于Petri网的SIP协议一致性测试套的设计与实现[D]．北京:北京邮电大学,2011 [5] 郝建国,邹嘉,戴一奇．基于Hash链的SIP服务实时支付方案[J]．清华大学学报:自然科学版,2009,49(12):581-585 [6] 陈效庭．基于SIP协议的IP智能网的应用及容灾测试分析[D].上海:上海交通大学,2010 [7] Paolo D,Jaume N,Josep M,et al．Interworking Scheme Using Optimized SIP Mobility for Multi-Homed Mobile Nodes in Wireless Heterogeneous Networks[C]∥Proc．of the IEEE 71st Vehicular Technology Conference．Taipei,China,2010:1-6 [8] Boucadair M．Migrating SIP-based Conversational Services toIPv6:Complications and Interworking with IPv4[C]∥Proc．of the 2nd International Conference on Digital Telecommunications． San Jose,USA,2007:2-3 [9] Ding L G,Liu L．Modelling and analysis of the INVITE transaction of the session initiation protocol using coloured Petri nets[C]∥Proc．of 29th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency．Xi’an,China,2008:132-151 [10] Liu L.Verification of the SIP transaction using coloured Petri net[C]∥Proc．of the 32nd Australasian Computer Science Conference．Wellington,New Zealand,2009:75-84 [11] Gehlot V.Colored Petri Net model of the Session InitiationProtocol(SIP)[C]∥Proc．of 36th Annual Conference on IEEE Industrial Electronics Society．Phoenix,USA,2010:2150-2155 [12] 杨鹏,袁占亭,王继曾．基于广义随机Petri网的SIP的验证和性能分析[J]．系统仿真学报,2007,19(S1):151-154 [13] Westergaard M.CPN Tools．http:// cpntools.org,2013 [14] Graphviz．http://www.graphviz.org,2013 |
| No related articles found! |
|
||
Home