融合特征网与模块网的业务过程挖掘

过程挖掘目的是通过分析由信息系统记录的日志得出的过程模型,从而改善和维护业务流程。目前,许多业务流程都以模块化的方式进行交互。虽然很多过程挖掘算法已经被提出来,不过对于处理多模块还有一定的局限性。提出了基于特征网与模块网的挖掘算法,根据日志将特征分为不同模块;在此基础上,分别求出模块间特征交互的特征网与模块内的特征交互模块网;将两者根据提出的融合算法进行融合,得到完整的过程模型。通过一个用户网上购物的实例说明了该算法的可行性。     

基于増广Petri网生成受控日志

为减少冗余日志,降低事件约束不可控对算法评估及验证的影响,提出基于可达状态的随机选择生成受控日志的方法.利用増广Petri网为系统建立模型,依据模型中库所与变迁的结构关系及标识分布构建输入矩阵;基于Petri网可达状态分析方法,随机选择触发可发生变迁,记录变迁序列;对记录进行受控分析,拼装生成多重集事件日志和XES标准...     

基于Petri网的并发事件流程模型修复分析

目前,流程模型可以从大量的事件日志中挖掘出来,以重放大多数的日志.但是,少数偏离流程模型的日志亦是有效的,为了使事件日志与流程模型更加拟合,模型修复是一个很好的方法.提出了基于Petri网的并发事件流程模型修复分析方法.首先,找到事件日志与流程模型的最优对齐,筛选出用于修复的并发事件;其次,利用提出的重构子流程的修复方法,对筛选得到的并发事件进行重构;最后,根据算法嵌入到原始模型中以实现模型修复,并通过一个具体实例说明了该方法的合理有效性.修复后的模型可以完全重放给定的事件日志,并且能够避免因循环造成的多余行为的发生,同时也在最大程度上保留了原始模型的使用价值.     

流程树切挖掘业务流程隐变迁的方法

隐变迁是指存在于事件日志中的不频繁行为,从流程模型中挖掘出隐变迁,提高流程运行效率和服务质量显得尤为重要。已有的方法大部分基于业务流程序列进行分析,但很少考虑跨序列间的关系,因此对挖掘业务流程隐变迁有一定的影响。提出流程树切挖掘业务流程隐变迁的方法,首先根据发生频数较高的日志序列得到初始模型,再根据流程树切预处理事件日志,把日志活动关系与初始模型关系进行对比,找到存在变化的区域,挖掘可能存在的隐变迁,通过评价指标判定带隐变迁的模型是最优模型,最后实例分析验证该方法的有效性。     

一种基于多视角数据属性的决策表Petri网挖掘方法

当处理高度可变的流程时,已有的自动过程挖掘技术产生的模型可能并不能真实反映流程运行中不同决策点之间规则的变化情况。从声明性过程挖掘的角度出发,提出了一种具备可视化规则的决策表Petri网挖掘方法,实现真实日志到声明性过程决策表Petri网模型的映射。首先,形式化了决策表Petri网模型及其携带的规则分析决策表,并对模型的静态语义和动态语义进行定义;其次,通过扩展属性的添加,分析流程内部属性和事件属性是否会对决策产生影响,并通过规则分析决策表的异常值属性,判断规则的异常程度;最后,在一组人工日志和真实事件日志的基础上进行实验仿真,并与数据Petri网的挖掘技术进行分析对比。实验结果表明所提方法在反映流程运行中规则的变化情况具有一定优势,并为数据流异常检测提供数值可解释性;同时,所设计的决策表Petri网挖掘方法可以将决策信息与模型结构整合在一起,为过程模型的可变性建模提供形式化基础。     

基于通讯行为轮廓挖掘条件非频繁行为的方法

条件非频繁行为是指带有属性值的频数较低事件轨迹所记录的行为。从记录的事件日志中挖掘条件非频繁行为是业务过程优化的主要内容之一。已有的方法删除低频次行为,较少考虑模块网间数据流角度下的条件非频繁行为。基于此,文中提出了基于通讯行为轮廓挖掘条件非频繁行为的方法。以模块网间的通讯行为轮廓理论为基础,首先,通过给定的业务过程源模型查找其可执行事件日志,并且找出频数较低的事件轨迹,添加相关属性及属性值,即可得到条件非频繁轨迹；其次,通过计算不同模块网间通讯特征的条件依赖数值,确定条件不频繁轨迹是否删除或保留,从而得到优化事件日志,进而挖掘出优化通讯模型；最后,通过仿真实验验证了该方法的可行性。     

基于Petri网行为紧密度的有效低频行为模式分析

低频行为模式分析是流程管理的重要内容之一,有效区分低频日志和噪音日志在业务流程过程挖掘中显得尤为重要。目前已有的研究大部分是将流程模型中的低频行为当作噪音直接过滤,但有些低频行为对模型是有效的。文中提出了基于Petri网行为紧密度的有效低频模式分析方法。首先,根据给定的事件日志建立合理的流程模型;然后,通过迭代扩展初始模式来发现流程模型中的所有低频日志序列,并在此基础上计算日志与模型的行为距离向量,利用日志与模型的行为紧密度找出有效的低频行为模式;最后,通过实例分析验证了所提方法的可行性。     

基于配置变迁的业务流程模型优化分析方法

为了灵活适应市场需求,业务流程模型的优化分析显得越来越重要。已有的方法大部分基于静态定位变化区域,进而对该区域进行优化,具有一定的局限性。基于Petri网的方法和行为轮廓的思想从行为角度来动态分析业务流程中的变化部分,利用日志与模型的匹配关系以及动态定位来确定模型中的变化域,考虑接口部分,利用适合度和行为适当性,通过配置变迁优化模型,然后利用行为轮廓一致性度判定最优模型,最后用实例验证该方法的可行性。     

基于日志自动机的业务流程混沌活动过滤方法

业务流程事件日志有时包含混沌活动,混沌活动是独立于流程状态且不受流程约束,会随时随地发生的一类活动。混沌活动的存在会严重影响业务流程挖掘的质量,因此过滤混沌活动成为业务流程管理的关键内容之一。目前,混沌活动的过滤方法主要是从事件日志中过滤不频繁行为,以高频优先为基础的过滤方法并不能有效地过滤日志中的混沌活动。为了解决上述问题,提出了一种基于日志自动机和熵的方法来过滤日志中的混沌活动。首先,根据活动的直接前集率和直接后集率计算得到熵值大的可疑混沌活动集;然后,基于事件日志构建日志自动机,利用日志自动机模型计算得到不频繁弧的活动集与日志中熵值大的活动集,对其取交集得到混沌活动集;最后,运用条件发生概率和行为轮廓确定该混沌活动与其他活动之间的依赖关系,从而决定是在日志中完全删除该混沌活动还是保留该混沌活动在日志中的正确位置而删除其他位置的此活动。案例分析验证了该方法的有效性。     

面向云计算资源管理的交互仿真平台构建

针对云计算资源管理建模分析的要求,提出了一种应用着色Petri网和Cloudsim的交互仿真平台架构.通过着色Petri网层次化替代变迁构建交互仿真框架,基于CPN Tools的接口规范定义与Java Socket完成接口设计和建立交互控制进程,实现了云计算资源管理CPN逻辑事件模型与Cloudsim物理模型的交互仿真.最后,通过一个简化的云资源管理实例建模仿真和逻辑结构检验,验证了交互仿真平台架构的可行性和实用性.     

基于托肯重演的并行结构过程模型修复方法

过程挖掘可以根据企业信息系统生成的事件日志建立业务过程模型。当实际业务过程发生变化时,过程模型与事件日志之间会产生偏差,这时需要对过程模型进行修正。对于含有并行结构的过程模型修复,由于加入自环和不可见变迁等因素,有些现有的修正方法的精度会降低。因此提出一种基于逻辑Petri网和托肯重演的并行结构过程模型修复方法。首先根据子模型的输入输出库所与日志的关系,确定子模型的插入位置;然后通过托肯重演的方式确定偏差所在位置;最后根据基于逻辑Petri网提出的方法进行过程模型的修复。在ProM平台上进行了仿真实验,验证了该方法的正确性和有效性,并与Fahland等方法进行对比分析。结果表明,所提方法的精度达到85%左右,相比Fahland、Goldratt方法分别提高了17和11个百分点;在简洁度方面该算法没有增加自环和不可见变迁,而Fahland和Goldratt方法均增加了不可见变迁和自环;三种方法的拟合度均在0.9以上,而Goldratt方法略低一些。以上证明用所提方法修正后的模型具有更高的拟合度和精度。     

具有不可控变迁离散事件系统的Petri网控制器

考虑可用具有不可控变迁的受控Petri网建模的离散事件动态系统.提出了在这类 系统中实现一组不等式约束的控制器的综合方法.所提出的控制器可通过给系统Petri网模 型增加一些Petri网元素来实现,其计算是建立在本文提出的Petrl网的路增益概念基础上 的.方法是系统、简单、计算量小.     

基于Petri网的MEMS柔性设计建模方法

微机电系统设计具有微尺度效应和多物理场耦合的特点,而现有的面向产品宏观结构的CAD系统难以满足微米尺度设计需求,为此提出一种基于Petri网的MEMS柔性设计建模方法.在分析MEMS设计特点、框架和流程的基础上,对已有设计系统进行抽象化和精细化,获得高内聚低耦合的设计模块,并将Petri网与设计系统各模块相互关联,建立了基于Petri网的MEMS柔性设计建模框架;然后通过添加前置库所和带权有向弧调节库所最大/最小标识数,控制设计流的总数;再添加控制库所形成控制回路,使并发变迁有序执行,消解并行设计冲突;最后用Petri网的状态空间求解结果控制各模块运行,满足复杂设计流的多元关系.以ACIS为几何造型内核开发了自主原型系统,以电容式三维硅微梳齿驱动器设计为例进行应用验证,结果表明,文中方法将现有MEMS设计从自顶向下和自底向上及其混合拓展到基于Petri网的柔性设计建模,使产品设计不局限于固定的设计流程,对于提高MEMS设计效率和质量具有重要意义.     

基于变迁指标的Petri网分解方法

通过定义Petri网变迁的指标函数，给出一种基于变迁指标的Petri网分解方法，通过分解得到子网系统均为结构简单的T-网。分析了原网系统与子系统在结构性质和动态性质方面的对应关系。并且证明了通过子网之间的共享合成可以得到原先的网系统，这为Petri网用于复杂的物理系统分析提供了可靠的理论依据和技术手段。     

Control Synthesis of Petri Nets Based on S-Decreases

A method for constructing a controller for a discrete event system modeled by a Petri net is presented in this paper. The control specification of the system is given by a set of linear inequality constraints defined on the marking of the net. The controller that forces the net to obey the constraints is an extended Petri net, which is synthesized based on minimal support S-decreases. The method can deal with general Petri nets with uncontrollable transitions, and then provides a systematic way for synthesizing net-based controllers for discrete event systems.     

具有多品种晶圆混合加工的单臂组合设备调度

为了提高晶圆制造中组合设备的生产效率,在考虑晶圆驻留时间约束条件下,研究没有共享加工模块的多品种晶圆混合加工的单臂组合设备调度问题.首先,采用面向资源的Petri网模型描述多种晶圆产品的混合加工过程,引入控制变迁避免模型的死锁,采用赋时库所和赋时变迁模拟系统资源的活动时间.其次,通过虚拟加工的方法平衡工序的负载,基于系统Petri网模型和拉式调度策略,推导出单臂组合设备在多品种晶圆混合加工情形下的可调度性判定条件,并以解析形式描述.最后,提出了系统稳态调度求解算法并以实例验证了算法的有效性和可行性.     

CPS系统物理实体时空一致性建模与分析

CPS作为一个混合系统,是计算系统和物理系统的集中体现,注重计算进程和物理进程行为一致性分析与刻画。传统建模方式只针对物理进程和计算进程进行单一建模,难以满足CPS物理实体状态转移时空一致性的要求,在此基础上提出一种新的建模方法。将CPS时空状态转移融合成一个状态转移实时时空事件,并在时间Petri网基础上引入空间标签,建立时空Petri网模型,利用时空Petri网对物理实体状态转移过程进行分析。最后通过列车控制系统实例进一步分析了时空模型的有效性,从而例证了该方法的可行性。     

基于Petri网的实时多智能体系统建模

给出基于Petri网的实时多Agent系统建模方法，它通过Petri网建立由接口模块、目标模块、计划模块、调度模块、知识库模块、环境模块、内部模块和控制模块组成的实时Agent模型，抽象和清晰地描述出实时Agent内部和外部特征。