论文部分内容阅读
基于工作流系统对时间管理功能有严格的需求,针对任务执行时间的不确定性,提出了基于库所时间Petri网的工作流系统建模方法—PT_net.该方法可以有效计算工作流系统的时间信息,从而为工作流系统的时间管理和分析提供技术支撑.
基于Petri网的工作流系统不确定性时间信息的计算
【摘 要】
：
基于工作流系统对时间管理功能有严格的需求,针对任务执行时间的不确定性,提出了基于库所时间Petri网的工作流系统建模方法—PT_net.该方法可以有效计算工作流系统的时间信息
【机 构】
：
浙江丽水学院计算机信息工程学院
【出 处】
：
江西师范大学学报：自然科学版
【发表日期】
：
2012年1期
【基金项目】
：
浙江省新世纪教育教学改革课题（yb090702）资助项目
其他文献
编研选题的社会取向与时代特点□荀凤英选题是档案编研工作的首要环节，直接影响编研成果作用的发挥。因此，根据客观需要选择有价值、有意义的题目，最大限度发挥档案史料的作用，满
地震前兆涉及到多种地球物理观测方法,且计量单位各不相同,因此,各类前兆异常之间无法进行直接的定量对比,这给地震预报研究带来了困难.应用异常从属函数值(无量纲量)可统一规划不同性质、不同计量单位的地震前兆异常.本文通过研究地磁资料从属函数,发现1995年9月20日山东苍山Ms5.2级地震前有明显的前兆异常.增强了对地震前兆异常的识别能力,文中提出该方法在地磁场研究中应注意的问题.
原始检验记录中增设抽样分布图的尝试周凤翱原始检验记录是检验鉴定工作的基础，它的原始性、全面性、准确性和真实性如何，直接关系到检验鉴定和签证工作的质量。今年鞍山商检局
目的 分析三种方法综合治疗肛管尖锐湿疣的治疗效果。方法 选取本院2016年8月至2018年7月间收治的80例肛管尖锐湿疣患者,随机分为观察组和对照组,每组各40例。对照组采用CO2
近来相继发现唐山地区一些无证企业生产出口服装的问题。据调查,唐山市辖区,至5月份共报验出口服装68批,80.66万件。其中属无证生产的8批,24.68万件,分别占报验批次和件数的1
基于云计算平台Hadoop的主要功能和MapReduce处理流程,设计FCM算法的并行化处理过程。
以地震波反演为背景，对非线性反演问题的某些最新进展做了系统的分析和介绍，着重对地震波反演理论中一些主要方法发展过程中的数学、物理的基本理论和基本假设做了分析、讨论和
湖北商检局充分发挥行业优势,采取一系列有效措施,尽心竭力为国家重点建设工程引进设备服好务、把好关。据不完全统计,仅去年一年他们先后及时发现质量问题80多个,由此对外索
基于Born散射理论 ,推导了适用于常速和变速背景的一维速度反演公式 .与经典的Bleistein逆散射反演公式相比 ,本文考虑了声波在一维有限空间中的传播 ,选取的边界条件更合理 .改进后的公式也揭示了积分道 (对反射系数的积分 )与绝对速度的关系 ,更有实用价值 .