论文详情
交互控制协议的扩充设计及Petri 网验证
辽宁石油化工大学学报
2007年 27卷 第No.1期
阅读：60
查看详情
Title
Expansion Design and Petri Net Validation of Interactive Control Protocol
单位
辽宁石油化工大学计算机与通信工程学院, 辽宁抚顺113001
Organization
School of Computer and Communication Engineering , Liaoning University of Petroleum &Chemical Technology ,Fushun Liaoning 113001, P. R. China
摘要
关键词: 交互控制协议, , 扩充设计, , Petri 网, , 协议验证
关键词：
交互控制协议;
;
扩充设计;
;
Petri 网;
;
协议验证;
论文详情