随机Petri网可达树的广度优先可视化编程实现

由于随机Petri网的可达树在整个SPN模型的性能分析中占据着重要的位置,因此本文提出一种广度优先的算法来得到随机Petri网的可达树,并且使用C builder6.0对模型的可达性性质进行了可视化编码实现,为下一步SPN模型的性能分析做好充足的准备。     

混合Petri网的流体随机Petri网模型

混合Petri网和流体随机Petri网作为混合系统的建模方法,其内在的建模机制和分析方法不尽相同,而且这两种机制远未发展成熟.分析并建立它们之间相互转换的方法有助于机制本身的发展完善,并利用对方的建模原语和分析方法对系统进行多角度的分析.提出了一阶混合Petri网转换成流体随机Petri网的形式化方法及转换后变迁合并的方法,并给出了转换和合并方法的正确性证明,最后结合实例简要阐述了这两种方法的实现过程.     

基于Petri网的海关业务流程工作流模型设计

现在人们大多都用Petri网进行工作流建模,但是传统Petri网的柔性和结构性不好,它会使图形变得庞大复杂难以理解.在时间Petri网的基础上引入了资源/变迁Petri网.这里通过对基于Petri网的海关业务流程工作流模型的实例分析可知,通过调整工作流程,最终可以得出优秀的工作流模型来优化工作流程、提高企业运行效率、增强企业竞争力,而且该建模方式也为设计与开发高可靠性、柔性和适用性的工作流模型提供很好的依据.     

基于行为轮廓和逻辑Petri网的模型修复方法

现实中的业务流程不断发生变化,需要对初始的业务流程模型进行修复以更好地表示实际业务流程。模型修复的关键步骤是分析现实日志和模型间的偏差,目前寻找偏差的方法主要采用对齐重演技术,未从行为的角度定量分析抽象的结构。因此,提出了一种通过行为轮廓分析日志和模型偏差的方法,并在此基础上进一步给出了基于逻辑Petri网的模型修复方法。首先,基于行为轮廓计算日志和模型间的服从度以识别偏差迹;然后,在偏差迹中依据偏差三元组集从偏差活动中选择逻辑变迁;最后,基于逻辑变迁设置逻辑函数,并通过添加新的分支或重构新的结构来修复原模型。对修复模型的适应度和精确度进行了验证,仿真实验结果表明,在尽可能保持修复模型与原始模型相似的基础上,相较于Fahland方法与Goldratt方法,所提修复方法在适应度都为1的情况下,得到的修复模型具有更高的精确度。     

基于逆向搜索的模糊Petri网分层算法

模糊Petri网（FPN）是知识库系统（KBS）表示、建模与分析的主要工具之一。针对部分FPN层次结构不清晰、库所/变迁间从属关系不明确的问题,提出一种基于逆向搜索的FPN分层算法（HFPN-RS）以实现非层次化FPN到层次化FPN(HFPN)的自动转换。首先,从终结库所开始对整个FPN进行逆向搜索,将所有输入库所的前集、输出库所的后集分别划分在同一层;其次,通过添加虚库所-虚变迁对的方式明确整个模型的层次结构;同时提出两条相关定理以明确HFPN分层层数的下确界和层次化操作中需要添加的最少虚库所-虚变迁对数,并给出经层次化操作后具有完整分层结构的FPN模型关联矩阵维度计算公式。在实验部分,通过对几类各具特点的FPN模型进行层次化操作,并利用所提定理进行验证。实验结果表明,添加虚库所-虚变迁对后新FPN模型具有清晰的层次结构,为下一步FPN泛化能力等研究内容的深入提供了理论基础。     

基于Petri网可达分析的代码搜索方法

复用已有高质量源代码可提高软件开发效率及软件质量.当前,基于用户提供的输入/输出对的匹配判断是代码语义搜索的主要方法之一,但该方法难以刻画完整代码行为,且仅能处理单输入类型.提出一种针对多种形式类型匹配的代码语义搜索方法.首先将代码集内各个代码片段中数据对象个数及类型的加工过程转换为Petri网模型;其次根据用户查询中...     

Petri网的可达树分析法及其应用研究

一、引言 Petri网的理论是使用数学和图形进行研究系统的工具。它不仅能适用于计算机科学和技术这样的研究领域,而且也能适用于社会、物理等研究领域,具有较广的适应性。应用Petri网首先要对系统建模(Modeling),建模的重要作用是能使用Petri网的分析方法对系统进行分析,这些分析能揭示系     

基于Petri网的流程模型中最小变化域的分析方法

为了灵活适应市场业务需求变化,确定业务流程中的变化部分成为业务流程管理的核心问题.已有的研究都是建立在静态的分析基础上,通过给定的变化节点来搜索变化范围,具有一定的局限性.基于Petri网方法及行为轮廓思想对业务流程模型进行分析,从动态行为角度分别给出了寻找流程模型中的行为变化部分的方法,以及确定流程模型中最小变化域的分析方法.并给出一个具体的业务流程的实例,分析了该方法的有效性.     

WINDOWS环境下的Petri网覆盖树表示

本文通过采用面向对象的方法，研究Ｐｅｔｒｉ网覆盖树的表示，并在ＷＩＮＤＯＷＳ环境下完成了这个辅助工具的研究与开发．     

Verifying soundness of business processes: A decision process Petri nets approach

This paper presents a trajectory-tracking approach for verifying soundness of workflow/Petri nets represented by a decision-process Petri net. Well-formed business processes correspond to sound workflow nets. The advantage of this approach is its ability to represent the dynamic behavior of the business process. We show that the problem of finding an optimum trajectory for validation of well-formed business processes is solvable. To prove our statement we use the Lyapunov stability theory to tackle the soundness verification problem for decision-process Petri nets. As a result, applying Lyapunov theory, the well-formed verification (soundness) property is solved showing that the workflow net representation using decision process Petri nets is uniformly practically stable. It is important to note that in a complexity-theoretic sense checking the soundness property is computationally tractable, we calculate the computational complexity for solving the problem. We show the connection between workflow nets and partially ordered decision-process Petri net used for business process representation and analysis. Our computational experiment of supply chains demonstrate the viability of the modeling and solution approaches for solving computer science problems.     

基于Petri网的流程变体合并方法

业务融合时往往需要将已有的多个流程合并,从而形成新的满足实际需求的业务流程,如何识别已有业务流的共性特征来消除流程冗余具有较大的实际应用价值.因此,提出了一种基于Petri网的流程变体合并方法.首先,由计算匹配分数算法计算多个流程变体间不同组合的匹配分数,由此来选定一对匹配分数最高的流程变体组合;然后,根据提出的合并算...     

Prediction of business process durations using non-Markovian stochastic Petri nets

Companies need to efficiently manage their business processes to deliver products and services in time. Therefore, they monitor the progress of individual cases to be able to timely detect undesired deviations and to react accordingly. For example, companies can decide to speed up process execution by raising alerts or by using additional resources, which increases the chance that a certain deadline or service level agreement can be met. Central to such process control is accurate prediction of the remaining time of a case and the estimation of the risk of missing a deadline.To achieve this goal, we use a specific kind of stochastic Petri nets that can capture arbitrary duration distributions. Thereby, we are able to achieve higher prediction accuracy than related approaches. Further, we evaluate the approach in comparison to state of the art approaches and show the potential of exploiting a so far untapped source of information: the elapsed time since the last observed event. Real-world case studies in the financial and logistics domain serve to illustrate and evaluate the approach presented.     

基于对象的扩展Petri网协同设计过程分析

针对协同设计中任务的执行流程缺乏柔性,不利于分析实际设计过程的现状,提出一种单元调用变迁对与决策变迁相集成的基于对象的扩展Petri网,扩展了Petri网的可达图以适应分析OEPNs模型.采用OEPNs中的过程网和单元阿对协同设计过程楚模,利用模型中的单元调用变迁对和决策变迁对过程本身和可能状态进行分析.最后与相关的研究工作进行比较并给出了结论.     

基于DISCOVERER的Petri网不变式自动生成*

在Petri网的验证中,代数不变式起着非常重要的作用。将Petri网建模为半代数变迁系统,提出了自动生成不变式的算法,该不变式有助于更好地分析Petri网可达空间。算法首先将Petri网的不变式假定为一个含参数系统,然后通过求解半代数系统来求解不变式中的参数;最后,基于DISCOVERER和QEPCAD等Maple软件包实现了该算法,并通过实例说明了算法的有效性。     

应急预案流程的Petri网建模方法研究

为了提高应急信息系统模型的语义基础,提出了一种基于Petri网的应急预案流程的建模方法。以ABC模型为上位本体建立了应急预案流程本体,提出了应急预案流程的Petri网建模过程,并定义了应急预案流程中本体和层次Petri网的映射规则。使用该方法对某公路桥梁抢修应急预案流程进行Petri网建模,并通过仿真分析验证了建模方法的有效性。     

A method of workflow scheduling based on colored Petri nets

Effective methods of workflow scheduling can improve the performance of workflow systems. Based on the study of existing scheduling methods, a method of workflow scheduling, called phased method, is proposed. This method is based on colored Petri nets. Activities of workflows are divided into several groups to be scheduled in different phases using this method. Details of the method are discussed. Experimental results show that the proposed method can deal with the uncertainties and the dynamic circumstances very well and a satisfactory balance can be achieved between static global optimization and dynamic local optimization.     

复合Petri网的主从式多智能体通信建模方法

针对当前主从式MAS领域通信的硬件成本高、对计算资源占用大等问题,引入复合Petri网建立通信模型.按M A S资源的类型,将复合Pet ri网的库所设计为状态、行为和时滞3种类型,关联了库所的生效时间.建立了不同优先级消息和通信异常处理的复合Petri网模型,构建了主从式多智能体复合Petri网的通信模型.通过基于主...