刘玉树 郭亚军 裴芳敏 麦健彬 谢俊 汤庸 王海洋 欧阳松 史美林 徐晶明 周建涛 黄长林 叶新铭 郑婷婷 欧阳昱 李沛武 彭群生 陆国栋 潘茂林 舒启林 崔立真 魏永合 赵克 于庚 杜宝珠 易平涛 刘建平 余阳 张发明 亿珍珍

工作流 JDOM 工作流网 推理深度 验证 Petri网 完整性 子句 科学哲学 直角三角形 清晰性 验证算法 序关系分析法（G1-法） 良柄性 正确性 逻辑性 良构性 模型化简 文本文档 针式打印机 化简 内角和 过程模型 过程建模 授权约束 权限 任务指派 规则集合 综合评价 WF-net

工作流