计算机工程与应用
計算機工程與應用
계산궤공정여응용
COMPUTER ENGINEERING AND APPLICATIONS
2004年
35期
142-144
,共3页
SIP Petri net DSPN 确定与随机Petri网
SIP Petri net DSPN 確定與隨機Petri網
SIP Petri net DSPN 학정여수궤Petri망
会话启动协议SIP作为推荐的Internet会议和VoIP信令控制协议,在RFC中没有严格地给出其行为的形式化模型.论文利用确定与随机Petri网(deterministic and stochastic Petri nets,DSPN)给出了SIP核心事务的形式化模型,为进一步的协议分析和实现奠定了基础.
會話啟動協議SIP作為推薦的Internet會議和VoIP信令控製協議,在RFC中沒有嚴格地給齣其行為的形式化模型.論文利用確定與隨機Petri網(deterministic and stochastic Petri nets,DSPN)給齣瞭SIP覈心事務的形式化模型,為進一步的協議分析和實現奠定瞭基礎.
회화계동협의SIP작위추천적Internet회의화VoIP신령공제협의,재RFC중몰유엄격지급출기행위적형식화모형.논문이용학정여수궤Petri망(deterministic and stochastic Petri nets,DSPN)급출료SIP핵심사무적형식화모형,위진일보적협의분석화실현전정료기출.