基于Petri网的工作流模型合理性验证

来源 :电脑知识与技术 | 被引量 : 0次 | 上传用户:liuyanan508
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
工作流管理系统具有实时性、同步和异步操作等特点,其建模方法是成功实施工作流管理的关键,而工作流模型应该完整地支持工作流定义的概念,正确、高效地反应企业的经营组织过程,为确保工作流的正确运行,必须对工作流模型的合理性进行分析和研究,因此工作流的模型分析和优化成为工作流研究的一个重点[7].该文从各种研究资料出发,利用工作流模型的合理性定义,给出基于Petri网的工作流模型的验证步骤和方法.
其他文献
通过分析现有振动发生器(激振器)的不足之处,引出自己所设计的振动发生器.该振动发生器结构简单,工作频率范围广,可靠性高.
低位直肠癌是指肿瘤下缘距肛缘7cm以下或位于直肠下1/3段的直肠癌.随着对直肠癌转移规律的认识和吻合器技术、吻合器械的发展,低位直肠癌保肛手术已成为主流术式[1].
城市地下空间和地上空间一样,不但可以实现城市空间立体化开发,完善城市功能,还是缓解土地资源紧缺导致的各种城市矛盾,实现城市生态化与可持续发展的重要途径.正在进行的地
目的 探讨维拉帕米逆转72 h多器官功能衰竭(MODS)犬的心肌细胞电生理改变作用机制.方法 12只比格犬,平均体重(8.67±0.75)kg,分成对照组(n=6)和MODS组(n=6).酶解法分离72 h M
目的 探讨婴幼儿肌性斜颈的高频超声表现及诊断价值.方法 本院经高频超声诊断的婴幼儿肌性斜颈患者68例,对其声像图进行分析总结.结果 所有婴幼儿肌性斜颈患儿患侧胸锁乳突肌
目的 探讨食管下段癌、贲门癌切除后食管胃黏膜活瓣式吻合术的方法及临床体会.方法 肿瘤切除及淋巴结清扫后消化道重建时,剥除食管肌层及胃浆肌层,使黏膜延长3~4 cm,然后食管
输电导线舞动对输电线路的安全运行构成重大的威胁.通过对基于导线舞动的O.Nigol机理的传统防舞装置失谐摆的特点分析,提出一种基于扭振激发机理的新型输电导线防舞动方法,建
目的:探讨原发性肾病综合征(NS)抗心磷脂抗体(ACL)检测的意义.方法:检测本院肾内科52例原发性肾病综合征患者和20例正常人ACL抗体.测定52例NS患者血栓素B2(TAB2),抗凝血酶Ⅲ
近年来,伴随着我国社会经济建设的快速发展,以及各大中城市整体扩建的需求,工程建设行业得到了前所未有的发展机遇,同时也面临着巨大的挑战.工程建设行业在政府相关管理部门
桥梁健康监测是目前工程界和学术界研究的一个热点,而光纤传感技术在其中起了主导作用.本文指出了目前桥梁监测的局限性,概要介绍了光纤传感技术的组成和原理,并分析了光纤传