蒋昌俊 毋国庆 舒风笛 尧飘海 吴哲辉 曾庆田 段华 张云华 朱伟 钟诗胜 孙弢 张明清 杨德礼 李明树 于海江 唐俊 李涛 桑海 刘歌群 鲍陈

节点 有效算法 转换算法 传输层 网模型 通讯规程 链结 网图 验证结果 出错信息 最佳状态线 稳妥主活动线 PT网 验证 邻接表 活性 性能分析 理想主活动线 分析工具 需求规约检测 接口设计 嵌入式实时软件 petri网 SNOOPY仿真 工作流 自动售货机销售系统 着色时间工作流网 需求规约语言 时序图 仿真组件