摘要
在分析大量实际工作流特征的基础上,总结了实际工作流执行中的路选结构情况,在此基础上改进了WM FC提出的Petri网工作流模型,提出了基于Petri网技术构造工作流模型的FA-PN网(F low A PetriN et)并介绍了使用所建模型构建实际复杂合同评审系统的Petri网工作模型.另外详细阐述了扩展法构建Petri网工作流模型的过程,并提出了模型结构正确的证明方法.最后介绍了一种对模型结构的冲突情况进行仿真分析的仿真法,可用来验证模型的正确性.
Based on analysis of many real work flow＇s characters, the routes choosing structure in real work flow＇s executing is summarized. Based on this, the article improves on WMFC＇s Petri net work flow model, and puts forward a method called flow a Petri net which is based on Petri net to construct work flow model, and uses it to build the contract-flow in the real system. The process to build Petri net work flow model by expanding method are explained, and a way to validate model structure is also put forward. Finally the real contractflow work to analyze model structure＇s collision by simulating method which prove the structure of model right are introduced in the article.
出处
《南开大学学报（自然科学版）》
CAS
CSCD
北大核心
2005年第6期53-59,共7页
Acta Scientiarum Naturalium Universitatis Nankaiensis
基金
天津市重点基金资助项目(003800711
04310761R)
