苏平 曾庆田 束德勤 吴哲辉

形式化分析 正规语言 行为序列 Petri网构造方法 Petri网 算法 形式化方法 协议测试 LAPD协议 闭包运算 协议性能评估 0-1停止等待协议 协议验证 协议描述语言 时延 Petri 网 Petri网进程

中国科学院计算技术研究所智能信息处理开放... 山东科技大学信息科学与工程学院 山东科技大学信息与工程学院 北京100080中国科学院研究生院 中国科学院研究生院 北京100049山东科技大学信息科学与工...