基于Petri网的仓库备件管理工作流建模研究

基于Petri网的工作流建模技术具有描述功能强及结构简洁易懂的特点,阐述基于Petri网的工作流建模技术,并将其应用到企业仓库备件管理中。绘制基于Petri网的仓库备件工作流管理系统模型,然后运用工作流网的理论,对该模型进行了化简和合理性证明,为工作流管理系统的后续设计和开发工作打下坚实的基础。     

基于面向对象赋时Petri网的工作流建模方法

介绍了一般Petri网代数表示的基本定义，分析了赋时Petri网引入时间因素的两种方式。将面向对象建模技术融入到Petri网模型中，形成了面向对象赋时Petri网模型，讨论了建立基于面向对象赋时Petri网的工作流模型的步骤。最后运用面向对象赋时Petri网建立了某制造企业业务流程的工作流模型，并运用可达树分析方法分析了网模型的活性。     

时间约束工作流模型的简化分析与可调度性验证

为解决复杂工作流的时间建模与可调度性验证问题,提出了将简化规则应用到Petri网工作流模型中的方法.首先,给出了时问约束Petri网的相关定义和基于此的工作流建模方法,实现了工作流模型及其时间信息建模.然后,为了对工作流网的可调度性进行验证和分析,给出了时间约束Petri网时间可调度的概念,并根据时间约束等价变换原则,提出了基于时间约束Petri网的四种基本工作流组件模型的简化规则和压缩推理方法.该方法可以对复杂的工作流模型进行简化,计算模型节点的时间参数,从而完成含有时间信息工作流结构或流程的时间建模和可调度性分析.最后,以保险索赔为例验证了所提方法的可行性.     

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

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

基于petri网系统规约的工作流建模验证

本文针对工作流过程建模的复杂性和易出错的状况，提出了基于Petri网系统规约的模型验证方法，提出了工作流网向Petri网映射的对应关系，给出了Petri网模型的八种规约规则。这些规则在实际应用中证明是可行的。     

基于Petri网的工作流技术复合建模与系统分解

通过对工作流模型过程定义的分析，利用不同的模型机制聚合工作流建模及涉及的要素，认为工作流模型是一个基于信息模型、功能模型、组织模型和资源模型的复合模型，探讨了模型之间的逻辑关系，以及基于复合建模原理的建模步骤。在针对面向过程开展的资源配置研究的基础上，借助敏捷制造过程的应用实例，分析了基于Petri网的复合工作流 模型的建模步骤。根据分层和分块原则，对基于Petri网的复杂工作流模型的简化提出了一种分解策略，并以实例说明这种分解策略。     

一种新的面向用户的工作流模型

为满足企业用户对工作流模型的描述能力和分析能力的要求,提出了一种新的面向用户的工作流描述模型——工作流描述网。该描述网可直接支持所有的工作流模式,特别是多实例、取消、高级同步等绝大多数工作流模型不直接支持的模式;通过提供多实例任务、取消任务、带传递变迁的任务等高级组件,直接支持工作流模式中几个主要复杂模式,每一个高级组件都对应一定结构的工作流描述网,并具有形式化的语义,在分析时按照一定的规则展开;基于Petri网,通过增加控制变量,及其与变迁间的通信机制来弥补Petri网无法处理复杂数据结构的缺陷。最后,通过实例说明了如何对各种复杂流程进行建模和分析。     

基于Petri网的产品研发设计工作流的柔性建模方法

为了解决复杂产品研发设计工作流建模问题,提高产品研发设计工作流管理系统在运行中对动态变化的响应能力,提出了一种基于Petri网的柔性建模方法.该方法结合面向对象和分层的思想对Petri网进行扩展,利用优先级、变迁触发规则等属性规则描述了模型的柔性.该方法不仅可以降低产品研发设计工作流建模的复杂度,还可以支持产品研发设计...     

一类含时间因素工作流的建模与时间性能挖掘

时间控制和管理是工作流研究中的重要问题,针对一类含时间因素的工作流,给出了Petri网建模方法,分析了含时间因素工作流Petri网的性质。基于工作流Petri网模型及其可达图,深入挖掘了理想主活动线、稳妥主活动线和最佳状态线,分析了影响整个工作流完成时间的决定性因素以及工作流活动安排的最佳安全方案,给出了寻找理想主活动线、稳妥主活动线和最佳状态线的方法,证明了工作流的最佳状态线存在的充分条件。     

基于层次时间Petri网的工作流模型可达性分析方法

为了有效管理工作流,需要对工作流模型进行合理性分析与验证.为此,提出了一种基于层次时间Petri网的工作流模型,给出了从时间Petri网工作流模型转化成基于层次时间Petri网工作流模型的规则及算法.证明了任何一个能够转化成基于层次时间Petri网的时间Petri网工作流模型在物理上都是可达的.在时间方面,提出了基于层次时间Petri网工作流模型的层次时间树算法,并给出了时间可达性的静态和动态分析与验证方法.通过实例验证了该方法在工作流模型的物理、时间静态和时间动态可达性分析中的有效性.     

基于Petri网的工作流模式研究

为了满足企业对过程模型描述能力的需求，提出了一个基于Petri网的新工作流模式完全解决方案。在深入研究工作流模式的基础上，应用高级Petri网技术来构造所有的工作流模式。抑制弧通过测零帮助实现多实例的同步，消耗库所负责移除多余的标记，带标记的库所实现对变迁触发序列的控制；设计加权弧和限制容量的库所来实现同步M条路径中被激活的N条的情况。本方案实现了将所有的工作流模式，从基本到复杂，都映射到相应的Petri网上。最后，通过一个集成制造过程模型的实例，说明基于Petri网的方案能够完全满足企业在模型描述能力上的各种复杂需求。     

时间约束工作流模型的可调度性分析算法

针对目前工作流管理系统对时间管理支持的严重局限，提出了基于Petri网的工作流时间约束建模方法，首先，将工作流网扩展为时间约束工作流网，然后分析了工作流程的时间特性，并提出了时间约束工作流网的可调度性分析算法，研究结果表明，所提出的建模方法能全面描述工作流的时间信息，对丰富工作流系统的时间约束建模理论具有重要的参考价值。     

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

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

模糊时态工作流网的建模和时间可能性分析

现有的工作流模型中很少考虑时间不确定性,以及资源和变迁的有效时间约束问题。为此,通过对模糊时间Petri网的各个元素中引入时间约束,提出了一种工作流模型,即模糊时态工作流网,给出了该工作流网中各种时态元素的计算方法,并讨论了利用该网对工作流中的时态现象进行时间建模和时间可能性分析的方法。最后,用一个实例解释了这些方法的使用。模糊时态工作流网可以对带有时间不确定性和时间约束的工作流模型中的时态信息进行建模,并对一些典型的时间约束进行时间可能性分析。     

Hierarchical Colored Petri Nets based components for workflow systems

Workflow systems have benefited the enterprise and customer in many aspects. But with the increasing complexity of the system, workflow design becomes a complicated and time-consuming process. In this paper, we model the system based on the Hierarchical Colored Petri Nets (HCPN) to avoid the complexity of the system, and the super nets of the model are abstracted as independent components to increase the flexibility, acceptability and maintainability of the system. Another important characteristic of this model is its convenience for reuse and workflow mining. The development process of the overhead traveling crane was given to demonstrate the proposed method.     

面向制造过程的工作流建模

分析了物料清单 (BOM)在产品制造过程中的核心地位 ,并根据工作流的建模模型 ,提出了将BOM表映射成Petri网的算法 ,利用所得到的Petri网建立了面向制造过程的工作流管理系统的过程模型。从而允许设计者仅根据产品的结构 ,而不需要知道实际的过程流程来自动地安排和执行生产任务。     

时间约束层次细化工作流建模及验证研究

为降低工作流建模和验证的复杂度,提出了一种自顶向下逐步细化的建模与验证方法。首先,引入了层次细化工作流网,实现复杂工作流建模,将满足可靠性的子网,替换顶层结构中输入库所安全的子网变迁,使细化后的工作流模型自动地满足可靠性要求。为验证可调度性,提出了时间约束层次细化工作流网,给出子网与子网变迁之间的时间约束等价变换原则,可保持细化前后工作流网可调度性不变的充分条件。依此条件,分别给出了串行、并行、选择、循环4种基本组件的压缩推理规则,并在线性复杂度内解决了层次细化工作流网时间验证问题。