论文部分内容阅读
工作流执行过程中经常会出现非正常终止的情况，对此，将事前分析方法应用于工作流过程模型的验证中，即在工作流过程实例化前进行模型的有效性分析和结构正确性验证。该方法对传统的有向网络图进行扩展并以此来描述工作流过程，确定模型的有效性；进一步将扩展有向网络图转换成工作流网模型，应用Petri网技术分析该模型的冲突结构，以确保工作流过程的逻辑合理性。