| 基于Petri网的工作流模型合理性验证 |
| |
| 引用本文： | 王瑜,李嶒. 基于Petri网的工作流模型合理性验证[J]. 数字社区&智能家居, 2010, 0(11) |
| |
| 作者姓名： | 王瑜 李嶒 |
| |
| 作者单位： | 安徽广播电视大学;安徽中澳科技职业学院; |
| |
| 摘 要： | 工作流管理系统具有实时性、同步和异步操作等特点,其建模方法是成功实施工作流管理的关键,而工作流模型应该完整地支持工作流定义的概念,正确、高效地反应企业的经营组织过程,为确保工作流的正确运行,必须对工作流模型的合理性进行分析和研究,因此工作流的模型分析和优化成为工作流研究的一个重点[7]。该文从各种研究资料出发,利用工作流模型的合理性定义,给出基于Petri网的工作流模型的验证步骤和方法。
|
| 关 键 词： | 工作流 工作流模型 Petri网 模型验证 |
Reasonable Verification of Petri-net Based Workflow Model |
| |
| WANG Yu,LI Ceng. Reasonable Verification of Petri-net Based Workflow Model[J]. Digital Community & Smart Home, 2010, 0(11) |
| |
| Authors: | WANG Yu LI Ceng |
| |
| Affiliation: | 1.Anhui Radio and Television University;Hefei 230022;China;2.Anhui China-Australia Technical and Vocational College;Hefei 230031;China |
| |
| Abstract: | Workflow management system with real-time,synchronous and asynchronous operation of the characteristics of the successful implementation of their modeling approach is the key to workflow management and workflow model should be complete to support the concept of workflow definition,correct and efficient response to business operations organizational processes,to ensure the correct functioning of the workflow to be the workflow model is reasonable to conduct analysis and research,the workflow modeling and wor... |
| |
| Keywords: | workflow petri-net model of workflow model verification |
| 本文献已被 CNKI 等数据库收录！ |
|
