摘要
所谓工作流是一类能够完全或者部分自动执行的业务过程,它根据一系列过程规则、文档、信息或任务能够在不同的执行者之间传递、执行,模型结构的合理性对于工作流来说是至关重要的。提出一种基于WF-net可替换性模型结构合理性验证方法,通过合理且安全的构造块分步构造模型,最终完成对模型的合理性验证。通过对昆明船舶设备研究试验中心的公文发文过程进行分析,利用着色时间Petri网建立工作流模型无需冗杂的计算,此方法适合于复杂工作流模型的合理性验证。
The work file,as a kind of operation process,which can be executed automatically or self-automatically,is impressed and implemented among different operators according to a series of rules, files,information or assignment.The rationality of model structure plays an important role to work file. The rationality validation method based on exchangeable WF-net model is proposed in this paper.The structure model is established steeply by reasonable and safe structure block.At last,the final rationality validation is accomplished for the model.Through analyzing the document dispatch process of Kunming ship-borne Equipment Research and Test Center,the chromatic time Petri net is used to set up work file model without miscellaneous computing,which fits for the validation of complicated WF-net model.
出处
《微处理机》
2014年第3期18-20,24,共4页
Microprocessors
