基于Petri网可达图的业务对齐方法

为提高过程挖掘中计算最优对齐的效率,提出一种基于Petri网可达图的业务对齐方法。首先,根据给定事件日志,提取其包含的活动子集;然后,将子集中包含的活动映射到变迁,构建花型日志模型;进一步,计算花型日志模型与过程模型之间的乘积模型及其可达图;最后,给出算法在可达图中查找出事件日志中全部迹与过程模型之间基于给定代价函数的一个最优对齐和所有最优对齐。从理论上证明了该方法的适用性与有效性。通过仿真实验,验证了该方法的可行性与优越性。     

基于Petri网的分层业务过程挖掘方法

已有的过程挖掘方法通常以事件日志为输入,挖掘得到扁平过程模型,然而这些方法并不能很好地支持任务之间嵌套关系的识别和分层过程模型的挖掘。由此,提出一种从带有任务生命周期信息的事件日志中识别任务之间嵌套关系,进而挖掘分层业务过程模型的方法,挖掘得到的模型用分层Petri网来描述。在分层过程模型的基础上,给出了模型质量度量方法。为了提高所提方法的通用性和对事件日志中的噪声和低频行为的处理,定义了基本任务关系的频次和频率,并引入噪声阈值来过滤低频关系。所提方法均已在开源过程挖掘平台ProM工具中实现。基于仿真日志数据和真实日志数据,定量比较了所提方法与已有过程挖掘方法挖掘模型的质量,进一步验证了本文方法针对分层业务过程模型挖掘的优势。     

基于过程日志的业务过程自动化建模方法设计

提出了一种基于马尔可夫转移矩阵的过程挖掘方法.在该方法中,业务过程被看作是一条有限齐次的马尔可夫链.基于日志建立转移矩阵,定义基本过程逻辑关系的挖掘规则,并据此规则设计了挖掘算法.此外,将过程形式化表示算法的设计从过程挖掘算法中分离出来,可以满足同一过程的不同形式化表示的需要,具体给出了基于工作流网的过程形式化表示算法.     

基于Petri网编辑距离相似性的过程模型存储机制

随着业务过程的逐步成熟以及市场法规的持续变化,围绕同一业务主题会形成大量不同版本的过程模型.基于这些过程模型之间的结构相似性,为了改进模型存储,方便用户追溯变更历史,对过程模型存储机制进行了研究.在使用Petri网表示过程模型的基础上,应用图编辑算法中的贪心算法设计相似性算法度量模型之间的结构相似性,进而提出五种过程模型存储方案并设计实验,对各方案进行了比较.结果显示,结合用户需求,应用不同的存储方案可以在响应时间和存储空间上取得较好的平衡.     

从事件日志中发现过程模型的渐变漂移

过程漂移是指过程模型在服务期间发生了变更或演化,分为突发漂移和渐变漂移两种类型。传统的过程发现技术假定业务过程是稳定不变的,忽略了过程漂移的存在。目前突发漂移已有较好的检测方法,但渐变漂移没有。以突发漂移检测为基础提出一种渐变漂移检测方法。该方法利用突发漂移点将日志划分为多个阶段,然后通过日志的行为语义混合判断某个阶段是否为渐变漂移。实验结果表明,所提算法的检测效果优于目前最好的算法。     

基于程序运行轨迹Petri网模型挖掘的死锁检测方法

程序死锁检测对于保证软件系统的稳定性具有重要作用.动态死锁分析方法由于具有高效和低误报率的特点而得到广泛研究.然而,传统的动态分析方法采用锁图及其各类扩展模型进行程序运行轨迹的建模和分析,它们难以对锁的授权/释放操作及其执行场景进行准确刻画,从而会导致误报现象.针对该问题,提出一种新型的基于程序运行轨迹Petri网模型...     

基于机械设备零件约束关系的Petri网拆卸过程模型研究

在分析设备零部件间约束关系的基础上,总结了约束关系在Petri网模型中的应用特点,将零部件间的约束关系利用Petri网模型进行表达,并提出了基于约束关系的Petri网拆卸过程模型.通过对阀门Petri网拆卸过程模型的研究,分析了Petri网拆卸过程模型的行为特性,并依据阀门的实际拆卸过程对模型进行了验证.     

生产时间可变间歇过程的Petri网模型及其调度

讨论了生产时间可变的多产品间歇过程的最优调度问题,给出了间歇过程在复杂中间的无限存储策略、有限存储策略、无中间存储策略和混杂存储策略下p-时间Petri网模型的描述方法,进而给出了基于可行调度集和修正分枝界定的间歇过程最短生产时间的最优调度算法.该算法利用一间歇过程最短生产时间不大于另一间歇过程最短生产时间的条件,有效地限制了对解空间的搜索,进而改善了算法的计算性能.仿真算例表明了所述方法的有效性.     

业务过程模型的Petri网形式化检查方法

为解决企业间业务协同模型形式化检查的问题,将采用标准业务过程建模符号的业务模型转换为Petri网,构造出一种可建模企业问复杂业务协同的业务过程流网.采用过程定义可扩展标记语言2.1版本,开发了一种具有通用性的业务过程模型转换和检查工具.采用业务过程流网对供应链中企业间采购订单过程进行了建模.实验结果表明,业务过程流网能将符合过程定义町扩展标记语占规范的业务模型完整地转换为Petri网,得到的Petri网易于化简和分析.     

基于高级Petri网的企业模型的建立

通过对CIMOSA功能视图和资源视图模型局限性的分析 ,定义了一类高级Petri网———分层对象时间Petri网 ,以及库所子网与子网代换 ,同时研究企业功能视图模型向HOTPN转换的语法规则 ,着重分析过程规则集到HOTPN的转换语法 ,并建立企业动态模型。在此基础上 ,建立了资源管理器、资源控制器以及资源执行器 ,确保和企业动态模型保持建模前后的一致性 ,方便模型之间的连接、调用和协调 ,便于实现仿真调度功能。     

基于Petri网模型的物流系统建模

提出了一种基于Ｐｅｔｒｉ网动态模型的物流系统的Ｐｅｔｒｉ网模型，可以将物流系统的物理过程通过网系统形象地表示出来，基于Ｐｅｔｒｉ网模型的仿真系统能更真实地反映系统的动态特性。     

面向企业能源消耗过程的模糊Petri网模型研究

针对企业能源消耗系统模型的需求性,在分析企业能源消耗过程的特点和模糊Petri网基本原理的基础上,从实用、可行的角度探索基于模糊Petri网的企业能耗过程模型,详细阐述了面向企业能源消耗过程的模糊Petri网模型的定义和运行规则,并依据特定的建模原则,进行举例说明.模型的建立独立于特定的能源类型和用能设备,全面反映企业能耗过程及其影响因素,为进一步仿真分析企业能耗状况提供了依据.     

一种新的基于Petri网的分层工作流过程模型

过程模型的描述能力和分析能力难以满足企业的要求,为此,提出了一种新的基于Petri网的分层工作流过程模型。在深入研究各种工作流模型的基础上,通过对基本网进行一定的扩展,给出工作流过程的分层模型。该模型由工作流描述模型和工作流分析模型组成。工作流描述模型直接支持所有工作流模式,特别是多实例、取消、高级同步等高级Petri网无法直接描述的模式。工作流描述模型在Petri网的基础上增加了控制变量,并将变迁划分为变迁入口和变迁体两部分。控制变量与变迁之间构成读写关系。变迁入口函数通过判断控制变量,消解工作流描述模型中的冲突;变迁体函数通过可扩展逻辑描述语句,实现对控制变量的读写操作。工作流分析模型作为工作流描述模型的分析模型,剥离了工作流描述模型个案的语义信息,可以直接利用已有的Petri网分析技术来分析模型。最后,通过几个例子说明了如何使用本文提出的模型对各种复杂流程进行建模和分析。     

CIMOSA功能模型的Petri网表示方法

本文介绍了ＣＩＭＯＳＡ建模框架和功能模型的组成结构，指出了Ｐｅｔｒｉ网方法是进行ＣＩＭＯＳＡ模型仿真和模型验证的有效手段。为了解决ＣＩＭＯＳＡ模型仿真和执行中出现的不确定性、资源共享和信息传递问题，提出了一种扩展的有色Ｐｅｔｒｉ网方法—控制和集成网方法，并给出它的定义和符号表示形式，在此基础上研究了ＣＩＭＯＳＡ功能模型的Ｐｅｔｒｉ网表示方法并给出了由ＣＩＭＯＳＡ功能模型到Ｐｅｔｒｉ网模型的转换步骤及一个应用示例。     

基于Petri网的产品拆卸模型研究

分析了现存的主要产品拆卸模型,指出了基于Ｐｅｔｒｉ网理论考虑所拆卸经济性的产品拆卸模型,对于部件拆卸、指定零件的拆卸以及产品的完全白拆卸,相应的拆卸序列物理意义明确,生成算法简单。由于拆卸序列的生成和优化考虑到成本,因而最优的拆卸序列上切实可行的,不足的是网络节点较多。     

基于MapReduce的海量事件日志并行转化算法

随着大数据时代的来临,为了高性能地转化海量分布式日志,提出事件日志在云平台上基于MapReduce架构的分布式转化算法.提出基于案例拆分的改进算法,以转化单机上的日志,使其变得可行;进一步提出基于MapReduce的并行转化算法.这是在过程挖掘领域中首次实现从海量原始日志到可扩展事件流事件日志的并行转化,极大地提高了转化性能.     

产品开发ProA一般Petri网模型研究

为了定量描述产品开发ProA的内部运行过程,更好地支持产品开发管理,构建了产品开发ProA的一般模型.深入剖析了产品开发ProA的内部运行机理;利用多色集合的着色原理对Petri网进行改进,形成了多色ProA Petri网方法.在此基础上,建立了产品开发ProA的一般Petri网模型.最后,给出了该模型在汽车油泵单向阀测试器开发中的应用情况.     

Petri网模型在故障诊断领域的应用研究

结合故障诊断问题的特点,在基于Petri网基本原理的前提下,对Petri网在故障诊断领域的应用问题进行了研究,建立了故障传播、故障诊断网模型,对不确定逻辑关系的Petri网模型进行了研究,拓展了网的描述能力,对故障诊断问题的建模有着重要的作用。