【摘 要】
：
工作流过程验证领域存在的问题是：通常用描述工具仅仅是对所建模型进行简单的语法验证,结果验证不彻底,致使开发效率降低。文章提出了一种通用Petri网工作流建模和验证方法。
【机 构】
：
河海大学电气工程学院,江苏省镇江电信公司
论文部分内容阅读
工作流过程验证领域存在的问题是：通常用描述工具仅仅是对所建模型进行简单的语法验证,结果验证不彻底,致使开发效率降低。文章提出了一种通用Petri网工作流建模和验证方法。以常规信息系统的一个工作流程为例,构建基于随机Petri网的工作流模型,从静态角度给出正确的工作流模型结构标准,从动态角度给出正确性验证方法及有关规则,并分析了模型的正确性,通过冲突分析说明该模型结构不存在死锁结构、不可达节点、同步丢失等现象。研究结果表明：随机Petri网及其扩充形式便于描述异步、并发、并行等情况、一定程度上解决状态空间爆
其他文献
目前,我国的综合国力发展迅速,基础建设的发展也有了相应的改善。泵站水闸的施工需要对水利工程的特点有深刻的认识。在水工泵站船闸的实际施工中,必须进行全面、有针对性的
<正>关于精神生产问题,马克思主义经典作家曾有一些论述,但长期以来人们对此重视和研究得不够,以致许多人在谈到社会生产问题时,大都把它仅仅理解为物质资料的生产和人类自身的生产。近年来,我国理论界开始注意这个问题的研究。但迄今为止,我觉得人们对精神生产的特点及其规律,特别是精神生产与社会主义精神文明建设的关系等问题,还缺乏深入的研究,而这些问题对于我们建设高度的社会主义精神文明来说,显然是需要弄清楚的。因此笔者现就这些问题作一些讨论。
为开发无级变速器实时控制系统,建立了无级变速传动速比控制模型,研究出无级变速汽车速比综合控制策略,由发动机试验数据建立了发动机燃油经济性模型,将所建立的速比控制模型及其综合控制策略融入ADVISOR软件无级变速器模型的前向通道中,与后向通道控制策略进行仿真对比。结果表明,前向通道得出的车速、速比及发动机工作点与后向通道相比有较高的吻合精度,验证了所研究的速比控制模型及其综合控制策略的合理性和实用性
他是一名普通工人，通过自己不懈的努力，叩开艺术之门。他的作品先后在系列比赛中获奖，他也因此拥有了众多的头衔：中国国画家协会理事、中国手指一国家协会会员、山东画院画师、山
<正>—、延安民族学院创办 经过及其沿革 中国共产党在领导我国新民主主义革命过程中,历来重视少数民族问题,主张国内各民族一律平等,并把培养民族干部当作一项大事来抓。
弹药的步进应力加速寿命试验数据处理的关键是异常数据的处理和弹药长贮寿命分布参数的估计。针对这两个问题,人们提出了许多相关解决办法,但迄今为止,尚没有一种通用的、行之有效的方法。为此,尝试依据贝叶斯理论对试验中可能出现的数据异常进行预处理,并利用鲍维尔法先求取各级加速应力下的样品分布参数的似然估计,再结合加速方程得到常应力下弹药的贮存寿命分布参数。最后,通过实例说明了方法的可行性。
2020年12月22日,中国农村卫生协会第七届理事会第一次管理工作暨学术年会在石家庄以岭健康城顺利召开。中国农村卫生协会会长、副会长、秘书长;各省(自治区、直辖市)基层(农
文章根据果园生态系统的特点,以苹果树为中心通过对不同树龄的苹果园病虫害检测与分析,为增强果品质量、病虫害防治提出了对策建议。
新时代具有其独特的特征和发展态势。认识新时代的特征有助于把握社会发展趋势,预判未来面临的新挑战。了解新时代的发展态势,有助于找到解决问题的钥匙。以新时代特征的视角
"150焦,双相电击除颤!"医生将两块电击板按到患者胸部,"嘭"的一声,老年患者身体迅速弹起。"缓过来了!"医生护士稍松了口气……这惊心动魄的一幕,最近发生在浙江省人民医院急