孙萍 续爱民 金烨 罗雪梅 王鹏伟 吴哲辉 宋文 庞善臣 蒋昌俊 陆维明 韩耀军 蒲飞 周长红

分布式数据库系统 网格计算 造船 状态不变性 可达任务图 同步合成 吊装 并发控制 S-图 汇合性质 时间Petri网 Petri网 语言递归性 良径 并发语言 活性 行为不变性 化简 资源调度方案 死锁检测 T-图 路径并发合成