摘要：电子商务业务流程网(E-commerce Business Process Net,EBPN)是一种基于Petri网的形式化模型.该模型面向业务流程的设计阶段和应用层,整合了控制流、数据流及其相关属性,可以较好地刻画现今主流的电子业务流程,有助于描述业务流程执行过程中的数据错误和数据状态的非确定性.针对EBPN的结构和动态属性,进一步研究了EBPN的可达分析方法,给出了可达数据状态图的构造算法及相关结论.为了减少可达分析的难度,借鉴程序切片的思想,研究了EBPN的模型切片方法,定义了切片准则,构造了EBPN的切片算法.EBPN的切片方法可用于降低可达数据状态图的分析复杂度.

摘要：Petri 网理论已日益成为复杂系统设计与分析中不可或缺的工具.而ARM嵌入式处理器是一种高性能,低功耗的RISC芯片.同步动态RAM控制器状态间的相互转换较为复杂,且通过状态图只能描述它的静态特征,难以分析其动态特性.Petri网能够直观地描述非确定性,以图形化的方式表示及运用数学工具模拟与分析复杂系统.文章正是利用Petri网的这些特性来描述和分析ARM体系结构中同步DRAM控制器的状态和转换.

摘要：Web服务作为一种新型的Web应用模式近年来得到了迅速的发展.如何高效动态地把现存的各种Web服务整合起来以形成新的满足不同用户需求的增值的复杂服务,已成为新的应用需求和研究热点.针对服务选择问题,设计了一种面向动态Web服务选择的离散微粒群算法,并结合服务选择研究背景,提出了3种速度计算算子和一种位置进化方程.针对进化算法容易陷入局部极值这一共同缺陷,定义了微粒无希望/重希望准则,以保证微粒群的多样性,增强全局搜索能力.理论分析和实验结果表明,该算法不仅具有较快的收敛速度,而且具有较好的全局收敛性能;同时说明Max运算在服务选择中具有较好的综合性能.

摘要：故障诊断是离散事件系统中一项重要的研究内容,对于保障系统安全具有积极意义。基于Petri网的故障诊断相关研究主要分为故障可诊断性研究以及故障诊断器的构造理论研究,故障可诊断性又可以进一步分为一般可诊断性与K-可诊断性,而故障诊断器的设计方法又可以按照适用系统类型进一步分类。综述了故障诊断理论中可诊断性、K可诊断性的各类研究方法和研究结论,介绍了离散Petri网系统、连续Petri网系统和分布式Petri网系统中故障诊断器的设计方法,并对各类方法的特点进行了重点分析。最后,给出了基于Petri网的故障诊断进一步研究的方向与应用难点,其对今后研究有一定的指导意义。

摘要：给出了一个判定基于随机Petri网(SPN)的乘积形式解存在的定理。利用该判定定理,可以发现两部件自动组装生产线模型具有乘积形式解,据此可画出该模型的状态空间图,然后根据局部平衡方程,就可得到此模型任意状态的稳定概率。

摘要：为有效解决业务流程模型中出现的重复活动的行为轮廓一致性问题,提出了一种基于Petri网多重变迁集的行为一致性测量方法。在多重变迁集的基础上,分析了模型行为轮廓中变迁的3种弱序关系,提出了一种考虑一致匹配变迁对与匹配变迁对的比值的测量方法,测量了包含重复活动的模型间的行为轮廓一致性服从度。通过理论和实例分析表明了该方法的有效性。

摘要：为校验事件流与模型之间的服从性,节约资源和提高检测效率,提出一种不需要构建模型的近似检测方法。对已有的日志进行聚类,选取代表性的迹构建模型支集,计算适合度上下界作为一致性的判断依据。系统在线运行过程中,将事件流暂存于事件堆栈,在关键活动节点处取出序列,进行与模型支集之间的一致性检测。通过实际案例对提出方法进行性能评估,并与其它方法进行对比,结果验证了算法的可行性,其具有较高的准确率。

摘要：在基于Web组合服务电子商务模型中,通过将各种电子商务的Web服务进行组合和集成以创建动态电子商务应用。但在组合的过程中,带来了新的问题,主要是安全性问题,采用一般的方法来分析是非常困难的。Petri网便于描述具有并发、异步、不确定性等特性的问题。利用Petri网的分析方法,如S-不变量、可达树、关联矩阵等,来分析模型中是否存在死锁、阻塞、冲突等问题,进而分析组合Web服务的电子商务模型的安全性。

摘要：为了研究环境约束下Web服务组合的正确性,提出Web服务域和Web环境域的概念,并使用开放Petri网对Web服务域和Web环境域进行建模。通过分析Web环境域模型与Web服务域模型组合后的交互行为情况,给出了二者可组合的前提条件以及组合后的正确性判定算法,从而实现在环境约束下Web服务组合的正确性分析和判定。最后通过具体实例结果表明了该方法的有效性。

摘要：为强化企业的业务流程模型库的管理功能,从企业已有的设计实例中提取经验知识,缩短产品的设计周期,提出一种基于行为包含查询业务流程模型的方法。以一个业务流程实例作为输入,通过分析流程模型间的行为包含关系,发现所有允许重放查询行为的模型,提出紧密度的概念并利用紧密度得分来确定最优匹配模型。通过实例分析了该方法的有效性。