基于时间Petri网的工作流模型分析

来源 :软件学报 | 被引量 : 0次 | 上传用户:forever_2010
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
工作流管理的最终目的是实现适当的人在适当的时间执行适当的活动.企业要获得竞争力,需要在工作流模型中考虑与业务过程相关的时间约束.一个考虑时间因素的工作流模型,需要在投入运行前进行时间规范与验证,以保证工作流执行的时间协调.通过为工作流网元素扩展时间属性,得到集成业务过程时间约束的工作流模型??时间约束工作流网(TCWF-nets).基于对业务活动的可调度性分析,提出了时序一致性验证方法,确保工作流执行中活动之间时间交互的安全性.在所附加的时间约束下,该可调度分析方法不仅能够检测某一给定工作流调度的时间可行
其他文献
目的探讨急性期川崎病(KD)患儿血清钾(K)、钠(Na)、磷(P)水平变化,并观察其与冠状动脉损害的相关性。方法收集我院儿科送检且病历资料完整的急性期川崎病患儿血液样本66分设为观察组,
2013年,华东地区报告了全球首例H7N9亚型禽流感病例,引起了国内外广泛的关注。2016年以来,H7N9亚型禽流感病毒感染人和动物的数量大幅度增加,对人类健康和养禽业造成了一定的威胁
近年来,潍坊市聚焦产业转型升级和新旧动能转换,深入开展"放管服"改革,聚力技能人才队伍建设,探索建立企业技能人才自主评价新机制,推动技能人才评价由政府主导向企业自主转
无线传感器网络是当前前沿热点研究领域;随着无线传感器网络的发展,每一个节点采集信号的精度和速率成为关键因素;本设计以FPGA、DSP作为控制核心,实现了一种可对多路信号同
研究了基于ATML对测试仪器资源能力、测试需求等标准描述方法,并实际应用到资源匹配的流程中;提出了以多属性决策理论研究仪器能力与测点需求的匹配,并建立了匹配函数,量化衡量测
《江苏教育》是由江苏省教育厅主管、江苏教育报刊社主办的工作指导类刊物,面向各级教育行政部门和基础教育、职业教育学校的教育管理人员,从事小学教育教学的研究人员和一线优
受经济下行和新冠肺炎疫情叠加影响,今年就业形势严峻复杂。政府陆续制定一系列政策措施,千方百计、多管齐下,帮助毕业生顺利毕业,尽早就业。中国海洋大学在做好疫情防控工作
近年来,临沂市在推进乡村人才振兴上,通过创新人才体制机制、构建人才发展平台、强化政府支持力度等措施破除了乡村振兴中人才发展的"紧箍咒",取得了良好成效。基本情况临沂
为了满足部队教学训练需求,研制一种控制箱及击发机构的信号模拟器;阐述了该系统的功能、工作原理、硬软件技术实现方法,解决了控制箱和击发机构控制指令信号的产生、各种激励信