基于Petri网行为紧密度的业务流程配置优化分析

业务流程优化分析是业务流程管理的重要内容之一,存在配置信息的优化分析显得尤为重要。已有研究主要集中于业务流程优化分析,但对于存在配置信息的业务流程优化则存在不足。对业务流程配置优化分析进行了研究,提出了日志与业务流程Petri网模型的紧密度计算方法 以及基于行为紧密度的业务流程配置优化分析方法。首先根据给定事件日志的执行序列及实例数建立初始模型,计算初始模型与剩余日志的紧密度,利用紧密度大的日志优化初始模型;然后引进配置变迁对初步优化后的模型进行进一步优化;最后通过一个简单的实例说明了该方法的可行性。     

基于UML的业务流程模型分析方法研究

基于UML的业务流程建模方法是业务流程建模领域中的一种重要方法,该文对基于UML的业务流程建模方法中的重要工具活动图进行形式化定义,给出了基于活动图的业务流程模型与工作流网之间的规范化转换方法,从而可以分析和检验基于UML的业务流程模型的静态和动态属性。     

基于接口变迁的交互流程模型挖掘方法

流程模型挖掘是基于系统运行记录下的事件日志来还原特征对应流程模型的技术。目前已有的挖掘方法多是基于由系统分解出的不同模块之间交互频繁且模块包含特征较少的场景。在挖掘包含较多特征、交互不频繁的流程模型方面,目前的方法存在一定的局限性。鉴于此,文中提出了基于接口变迁的交互流程模型挖掘方法。首先,利用现有的挖掘方法来挖掘模块内部的特征序,确定初始模块网;其次,遍历事件日志以查找疑似接口变迁;然后,通过挖掘特征网来确定接口变迁,并对接口变迁增加接口库所;最后,基于开放Petri网,利用合成网的观点将交互模块合成为一个完善的流程模型Petri网。通过实例分析,验证了该挖掘方法的有效性。     

基于Petri网的业务流程成本分析方法

Petri网是一个功能强大的建模工具,已广泛应用于业务流程的建模与分析,但是原型Petri网对业务流程的成本分析却无能为力.首先介绍原型Petri网的定义,然后针对实际业务流程建模中成本预算分析的需要,对原型Petri网扩展价格因素,定义了价格Petri网及其变迁触发规则,而后定义了计价状态空间的概念,并给出计价状态可达空间的构造算法,最后通过一个例子说明价格Petri网可以有效地对业务流程进行成本分析.     

基于变迁指标分解的Petri网性质分析

Petri网的分解技术是复杂网系统分析的一种重要手段,基于变迁指标的分解方法将系统分解为一组T-网。通过获得分解子网的结构性质以及子网与原网间的性质保持关系,得到了判定原网结构性质的一些方法和结论;同时给出了判定原网系统活性的一个条件。所得结果为结构复杂Petri网的性质分析提供了有效的方法。     

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

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

基于可持续发展区域水资源优化配置模型研究

介绍了水资源优化配置模型的分类，分析了现有水资源优化配置模型中存在的问题。以可持续发展思想为指导，以社会、经济、环境的综合效益最大为目标，以水量、环境和各行业发展产值作为约束条件，建立了水资源优化配置的多目标优化模型。     

基于Petri网的采购业务流程建模及仿真优化

以国内某大型制造企业的采购业务流程为研究对象,用Petri网技术构建了现有环境下和优化后的采购流程模型,分别对这两种情况下的业务流程模型进行了时间定量分析,并利用ExSpect仿真软件模拟分析了原有采购流程及优化后流程的优劣。结果表明,通过应用信息技术和合理地选择供应商选择模式,提高了业务信息传递和处理的效率,缩短了采购周期。     

基于Petri网的一种时序分析方法

Ｐｅｔｒｉ网由于有强大的建模能力和成熟的理论支持,被广泛应用于各种系统的建模．本文通过把Ｐｅｔｒｉ网转换成转移系统,利用转移系统和Ｋｒｉｐｋｅ结构给出时序逻辑语义的解释,从而建立了一种在Ｐｅｔｒｉ网上进行时序分析的方法．这种方法是根据不动点理论,用模型检查验证公式正确性．通过对Ａｄａ程序会合性质进行模型检查,验证了这种方法的有效性．     

基于本体的Petri网模型转换方法

在现有的UML到Petri网模型转化规则的基础上,引入本体将其作为各种模型到Petri网模型之间转化的桥梁,研究各种模型到Petri网的通用转化方法.为每个模型包括Petri网模型建立本体,再根据基于分类树的本体映射建立模型转化步骤.通过计算不同模型中概念的相似度建立不同模型中概念的对应关系,完成模型转化.     

带数据流的面向服务的业务流程模型变化传播Petri网方法

为了灵活适应不断变化的业务需求,需要对流程模型进行调整。在业务逻辑整合过程中,业务逻辑可能发生变化,因此对业务变化及其传播进行分析是十分关键的。已有的研究方法主要基于控制流结构来分析和研究业务的变化域和变化传播问题,忽略了模型所含数据和服务结构的信息。文中对带数据信息的面向服务业务流程模型的变化传播方法和变化域定位进行分析和研究,主要关注服务层和流程层之间的变化传播问题。首先, 分析 流程层(服务层)的变化操作给模型的服务层(流程层)带来的变化影响范围,并分别提出了服务层变化传播算法(Service Layer Change Propagation Algorithm,SLCPA)和流程层变化传播算法(Process Layer Change Propagation Algorithm,PLCPA)。最后,通过一个具体的实例证明了所提方法的可行性和有效性。     

基于Petri网超媒体模型的分析与比较

超媒体建模研究是当前一个重要研究方向。基于Petri网理论的模型是对有向图模型的改进,与其他模型比较,能够更好地刻画超媒体系统。原因如下:Petri网是一个二部有向图,适合于说明超媒体的链接机制;Petri网是一种天然的具有并行执行语义的自动机,模型可以自然地表达超媒体系统中的动态执行语义;Petri网能够说明各种顺序、并发和同步活动,满足描述多媒体表现的需要;利用Petri网的图形特性和严格的数学基础,人们可以检查和分析超媒体中的潜在问题。该文着重对四个典型的基于Petri网的超媒体模型:MHPN、HCPN、MORENA和HTSPN模型进行分析和比较。     

业务流程隐变迁的拟间接依赖挖掘方法

隐变迁存在于业务流程中,但在日志中未被记录,挖掘隐变迁能够还原模型并提高流程的运行效率。已有方法都是基于日志间直接依赖关系挖掘隐变迁,未考虑其间接依赖关系,具有一定的局限性。提出基于拟间接依赖关系挖掘隐变迁的方法,根据事件日志中活动间的轮廓关系构建初始模型,通过拟间接依赖关系表找出日志序列之间的约束体。利用整数线性规划方法,查找符合要求的拟间接关系变迁对,从而挖掘出拟间接关系变迁对中存在的隐变迁。将隐变迁融合到初始模型中,得到含有隐变迁的目标模型。通过具体的实例分析验证了该方法的有效性。     

基于Petri网的企业经营过程分析

本文首先对一般中小制造企业的经营制造过程进行分析,建立起企业从供应链到加工制造的基本框架,在此基础上,进一步建立起基于Petri网的系统模型。运用该Petri网模型,对企业的生产经营过程进行模拟和分析,根据分析结果可以对系统的经营过程进行优化和重新组合,降低企业生产成本,提高企业竞争力。     

基于概率和时间因素的Petri网业务流程一致性分析

业务流程一致性分析作为业务流程管理的重要内容之一,近年来一直是业务流程管理研究领域的热点。目前已有的方法主要从控制流和数据流两方面进行研究,在实际情况下,概率和时间因素会对业务流程产生较大的影响。因此,文中提出了一种基于概率和时间因素的Petri网业务流程一致性分析方法。首先,给出了基于概率因素的控制流Petri网和基于时间因素的数据流Petri网的定义;然后,将基于概率因素的控制流Petri网和基于时间因素的数据流Petri网中的所有变迁分别映射到原业务流程Petri网中,得到各自的行为映射表,并针对两种类型的Petri网提出相应的行为兼容度算法,依据行为兼容度的值来衡量业务流程的一致性程度;最后,进行实例分析,结果显示了该方法的有效性和优越性。     

基于流程仿真的BPR

在企业流程再造中，流程仿真是再造人员对流程诊断及再造前后性能评价的一种重要手段。本文定义了基于Petri网的企业流程形式化模型，通过流程仿真的BPR实施过程，分析了仿真在再造过程中的作用，结合一具体再造实例，画出了企业流程，依据再造原则，采取对流程仿真结果分析，管理信息系统应用等手段，设计了一条组合合理、工作效率高的业务流程，对目前我国企业为增强国际竞争力而采取的流程再造有一定的借鉴作用。