【摘 要】
：
业务过程通常在信息系统中实现之前由过程模型描述和验证。过程模型可以描述系统的特性,并通过向系统设计者提供反馈的功能来验证系统的正确性。当系统生成的事件日志中的活
论文部分内容阅读
业务过程通常在信息系统中实现之前由过程模型描述和验证。过程模型可以描述系统的特性,并通过向系统设计者提供反馈的功能来验证系统的正确性。当系统生成的事件日志中的活动与过程模型中的活动存在偏差时,需修复现有模型。对于含非自由选择结构的模型,尽管事件日志中的活动可以由现有的修复方法而得到重放,但修复后的模型往往会与原模型在结构上有很大的不同,此外,还会导致模型精确度不高且模型结构复杂。因此本文提出一种基于逻辑Petri网新的模型修复方法。首先给出了变迁对和后继关系的概念,构造出后继关系矩阵。接着通过遍历变迁对来
其他文献
结合工程实例,论述了长螺旋钻孔压灌成桩后插钢筋笼在基坑支护施工中的常见问题及原因,并总结了这种工艺的适用性和施工特点,以进一步推广该工艺的应用。
有源电力滤波器(Active Power Filter,APF)是补偿电力系统谐波及无功功率的重要装置,其控制的实时性和准确性是实现有效补偿的一个关键.数字信号处理器(Digital Signal Proce
一、开掘及时、快捷等特色优势。增强新闻现场报道质量成为广播参与新闻竞争的一大法宝。
本文介绍了网络信息时代图书馆参考咨询服务的特征，提出了加强和深化图书馆参考咨询工作的策略，供大家参考。
2005年7月研华将第一次推出自己的显示器，共四款。
国际原油期货市场的发展与世界经济对原油需求的高度依赖和油价剧烈波动有关。国际原油期货市场具有价格发现功能和套期保值功能。在中国推出原油期货具有重要的现实意义而且
参考流程工业中管控一体化系统的通用模型,结合电力行业的特点,介绍了供电企业中管控一体化系统的设计思想和层次结构模型,重点探讨了供电企业中管控一体化的网络架构,系统构
近年来．科学家们通过大量的实验证明，长期节制饮食，可延年益寿。因为节食可有效地调整与衰老有关的细胞膜退化·保护细胞膜结构．并能有效地保护许多清除自由基的酶和一些还原