宋少峰 史美林 林伟 叶新铭 张延园

自适应性 灵活性 光纤通道 验证 工作流 Petri网 异常 过程 光纤通道协议 过程建模 化简 合理性 动态性 嵌入式网络通信 光纤通信 通信系统 变更 语义验证

清华大学计算机科学与技术系 内蒙古大学计算机学院 内蒙古呼和浩特 呼和浩特 北京100084内蒙古大学计算机学院