基于petri网的文件审批系统工作流建模
所属分类:技术论文
上传者:aet
文档大小:482 K
所需积分:0分积分不够怎么办?
文档介绍:以工作流技术为基础,将基于petri网的建模方法应用到文件审批系统的分析过程中,构建系统的petri网模型,并利用petri网化简规则,对该模型进行了结构上的正确性验证;同时,通过模型的可覆盖树对模型的可达性、活性、有界性等petri网的性质进行了验证。结果证明,该技术能够在文件审批系统中进行建模和可行性验证。
现在下载
VIP会员,AET专家下载不扣分;重复下载不扣分,本人上传资源不扣分。