|国家科技期刊平台
| 注册
首页|期刊导航|计算机工程|工作流模型正确性验证过程中的模型简化问题

工作流模型正确性验证过程中的模型简化问题

杜淑楠 章宁 王鲁滨

计算机工程2005，Vol.31Issue(B07)：P.110-111,114,3.
✕
计算机工程2005，Vol.31Issue(B07)：P.110-111,114,3.

工作流模型正确性验证过程中的模型简化问题

杜淑楠 1章宁 1王鲁滨1

作者信息

  • 1. 中央财经大学信息学院,北京100081
  • 折叠

摘要

关键词

工作流模型/Petri网/正确性验证/简化

分类

信息技术与安全科学

引用本文复制引用

杜淑楠,章宁,王鲁滨..工作流模型正确性验证过程中的模型简化问题[J].计算机工程,2005,31(B07):P.110-111,114,3.

计算机工程

OA北大核心CSCD

1000-3428

访问量1
|
下载量0
段落导航相关论文