彭磊 顾翔 曾家智 李华天 刘积仁 赵保华 顾冠群 seueducn 谢俊清 周治邦 屈玉贵 张尧学 史美林 吴磊 张伟 罗军舟 毕亚雷 李腊元 周治功 员春欣 韩秀玲 沈俊 肖淑男

形式描述技术 通信系统 分析 通信顺序进程 自动实现技术 Petri网 现场总线 离散事件系统 Estelle FDT 有限状态自动机 计算机网络 描述 进程 故障安全 Estelle。 建模 着色解释Petri网 形式化描述语言 协议 形式描述技术 数据通信网 协同仿真 工具 通信协议

形式描述技术