基于Petri网的RPM工作流建模与分析

来源 :科技信息(科学·教研) | 被引量 : 0次 | 上传用户:crystal_zirui
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
工作流是对一组有关联的工作任务间的依籁关系的形式化描述是实现企业业务流程的有效手段.本文从工程实践的角度介绍了在IBM Rational Portfolio Manager中如何使用Petri网对工作流进行建模和使用不变量分析法和可覆盖性树对模型进行分析过程从而提南了在RPM中进行工作流设计的正确性和效率.
其他文献
本文主要介绍数字调制技术GMSK的调制原理和仿真。首先,介绍了GMSK的基本原理,它是在MSK基础上发展的一种用于移动通信上的现代数字调制技术,然后介绍了GMSK的调制信号的仿真
路由器体系结构的发展经历了几次变革,每一次变革都对路由器的体系结构提出了新的方案,使得路由器在处理速度和容量上都有很大的提升。但是由于路由器所采用物理器件的限制,
2008年北京第13届残奥会已经顺利落下帷幕,北京协和医院作为残奥会定点医院,为来自各国的首脑、官员、残疾人运动员提供了高效的医疗、护理服务和恰当的帮助,完美的完成了残
代谢综合征(metabolic syndrome,MS)是指多种代谢异常,包括高血压、中心性肥胖、糖尿病和血脂紊乱在同一个体聚集存在的现象[1].
针对煤矿冲击矿压灾害,研究了冲击矿压危险的分级预测准则.通过连续监测预警技术和系统集成,应用综合指数法、微震法、电磁辐射法和钻屑法,可形成冲击矿压的时空分级预测技术
目的 从全人源抗鼻咽癌噬菌体抗体库中筛选特异性单链抗体(ScFv),并对其特异性进行鉴定.方法 通过噬菌体表面展示技术把ScFv表达在噬菌体表面,以鼻咽癌细胞作为抗原,用抗原递
目的 探讨臂踝脉搏波传导速度与原发性高血压病患者亚临床靶器官损害的关系.方法 60例高血压病患者根据臂踝脉搏波传导速度分为正常组24例与增高组36例,所有病例均行头颅磁共
文章针对目前曹庄煤矿电机车运输过程中效率不高、调度困难导致原煤运输能力低下的关键问题,提出了应用小灵通无线通讯系统完善运输管理,提高调度效率,增强原煤运输能力.
针对Web方式在实时监测系统中存在的安全性问题,本文介绍了一种能够确保实时数据的可靠和安全的实现web发布的组态方法。 Aiming at the security problems of Web-based re
本文通过泵送混凝土技术在工程建设中的具体实路和应用,介绍泵送混土材料要求、质量要求和施工工艺.