【摘 要】
：
为解决业务流程管理应用系统中模型可验证性支持不足的问题，提出一种面向应用系统的流程验证新方法。该方法利用Petri-Net网络分析原理，聚焦于工作流网络模型，在关联矩阵、回归
【机 构】
：
西北工业大学现代设计与集成制造技术教育部重点实验室
论文部分内容阅读
为解决业务流程管理应用系统中模型可验证性支持不足的问题，提出一种面向应用系统的流程验证新方法。该方法利用Petri-Net网络分析原理，聚焦于工作流网络模型，在关联矩阵、回归态、变迁序列等网络特征量的基础上推导出工作流网流程验证思路，形成了以Petri—Net网络不变量求解为根本的验证算法。设计了实验对算法进行理论分析验证和应用仿真验证，证明了算法的有效性。对算法进行了效率分析实验，实验结果表明，算法在验证效率上要明显优于覆盖图和因果足迹法。最后，开发了验证算法的实用工具程序包，并对其应用效果进行了展示。
其他文献
交通场景中的视频图像去雾处理,是一个实时性极强的不确定反问题,针对雾霾天气下车载视频图像退化严重的现象,分析了交通环境中雾气浓度对车前物景可视度的关系,提出了大气能见度与车行视觉距离之间的关系模型,讨论了降质图像增强的理论与方法,建立了雾霾条件下车行可视距离的线性回归公式和基于大气能见度的透射率快速估值模型。同时,研究了雾霾物像暗通道的基本特征,提出了利用引导滤波对图像实现边缘平滑、细节增强以及利
针对变电站直流电源系统充电模块的故障检测,介绍一种通用型充电模块试验工具的设计与应用,对其技术方案及优势进行分析,并具体论述其使用方法。该装置的应用能够有效解决直
巴甫洛夫，前苏联生理学家．经典条件反射学说的创立者，他说，所有学习得来的行为，不管是在学校里面还是外面获得的，“只不过是一长串的条件反射”，其获得、保持和消失是由这些定律和法
随着基础教育课程改革的不断推进,作为课改的风向标——课程评价,成为目前众多教育者探讨得最为热门、最为流行的话题。目前,人们对考试的弊端有较多的研究,答案唯一、计算繁
2011年9月29日21时16分,我国用＂长征＂二号FT1运载火箭在酒泉卫星发射中心成功将＂天宫＂一号目标飞行器送入预定轨道。此次发射拉开了我国建设自己的空间站的大幕。＂天宫＂一号目标飞
中动结构是一种介于主动和被动之间，以受事或被动参与者作主语，句中存有一个隐含论元的结构。它是近年来语法研究的热点之一。不同语言学理论对其从句法结构、形式生成、语义功
随着越来越多的企业加入智能行车记录仪领域,未来或许将带来更大的竞争与行业的发展。行车记录仪记录车辆行驶途中的影像及声音等相关资讯,可为交通事故提供证据。开车时边走
目的探讨持续血液滤过在重度河豚中毒患者中应用的临床效果。方法将26例重度河豚中毒患者,按是否使用持续血液滤过分为持续血液滤过组（A组）和常规治疗组（B组）。监测患者生命体征
说课是教学过程中的重要组成部分，是早已存在的客观现实。但被广大教育教学工作者重视并予以系统研究，尚属近年的事，认识是客观事物的反映，随着课堂教学改革的不断深人和发展，说课
2012年6月16日,我国用“神箭”——“长征”二号F遥九运载火箭在酒泉卫星发射中心成功将载有3名航天员的“神舟”九号飞船送入太空,在轨运行的“天宫”一号目标飞行器与“神