摘要
Petri网既有严格的数学描述,又有直观的图形表示,是理想的工作流建模工具.本文以OA系统中收发文管理流程为例,提出了一个基于Petri网工作流建模的方法并进行了模型的正确性验证.
Petri net is a perfect workflow modeling technology because it owns strict math description,simple and intuitionistic simulation.In the thesis,a workflow model based on Petri net applied to receiving and dispatching documents in OA workflow management system was put forward and validated.
出处
《佳木斯大学学报(自然科学版)》
CAS
2008年第5期656-658,686,共4页
Journal of Jiamusi University:Natural Science Edition