基于着色时间Petri+网的公文发文工作流建模和分析.pdfVIP

第 32 卷 第 12 期增刊 仪 器 仪 表 学 报 Vol.32 No.12 2011 年 12 月 Chinese Journal of Scientific Instrument Dec. 2011 基于着色时间Petri网的公文发文工作流建模与分 析 李晓林 李 钢 张仁斌 高 森 张 明 （合肥工业大学 计算机与信息学院 合肥 230009） 摘 要：建立工作流模型是实现工作流技术的关键环节,而着色时间Petri网通过托肯颜色扩展、为变迁赋予时延,能够很好 地为复杂工作流建模.本文在阐述着色时间 Petri 网和着色时间工作流网相关概念的基础上,分析办公自动化系统中的公文 发文过程,并运用着色时间 Petri 网建立其工作流模型.最后,基于可达图的分析方法,验证了模型结构的合理性;用具体时间 数据分析了整个公文发文过程的时间性能。 关键词：着色时间Petri网 公文发文 工作流模型 性能分析 Modeling and Analysis for Official Documents Dispatching Workflow Based on Colored Timed Petri Net Li Xiaolin ，Li Gang ，Zhang Renbin ，Gao Sen，Zhang Ming （School of Computer and Information,Hefei University of Technology,Hefei 230009,China ） Abstract ：To establish model is the key point of workflow technology, while a colored timed Petri net can effectively model for the complex workflow through extending the token color and adding time delay for transition. On the basis of concepts of the colored timed Petri net and colored timed workflow net, this thesis analyzed the official documents dispatching process in office automation system, and established its workflow model with colored timed Petri net. Finally, the rationality of the model structure is verified using the reachability graph method and the time performance of the entire official documents dispatching process is analyzed with specific time data. Key words ：colored timed Petri net official documents dispatching workflow models performance analysis 1 引 言 点，本文采用着色时间 Petri 网对其建模：通过对 托肯和变迁动作着色，用以区分不同等级的公文及 工作流是“一类能够完全或者部分自动执行的