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

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

基于Petri网的位置敏感工作流建模与正确性验证方法。

针对移动业务过程中对位置信息建模和分析的需求,结合目前已有的工作流建模方法,提出一种针对位置敏感工作流进行建模和正确性验证的方法。该模型以工作流网为基础,结合6种描述位置之间关系的原语,以位置约束的形式定义业务流程中的位置信息及其与活动之间的关系,然后基于Petri网的状态可达图得出对所建立模型进行正确性检查的方法。基于ProM平台开发了一个位置敏感工作流的建模工具,验证了所提建模方法的可行性和算法的正确性。     

基于着色Petri网的工作流建模和合理性分析

针对工作流模型表达能力较差,以及合理性不容易验证的问题,将工作流管理联盟定义的工作流模型映射为工作流网络。通过应用统一的资源管理器和引入着色Petri网,得到着色工作流网模型,这种模型更简单、更容易计算机化。在定义并证明两种不会破坏原工作流网络结构特性和系统行为的调整映射的基础上,将该工作流网络调整为完全的扩展自由选择网,使所有工作流模型的合理性问题都可以在多项式时间里得到解决。     

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

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

基于工作流模式的BPMN过程模型验证方法

针对业务流程建模符号过程模型语义验证问题,提出了一种新方法.该方法基于正确的业务流程建模符号过程模型是工作流模式的合理组合的理念,通过扩展和改进业务流程建模符号及其执行语义,设计了工作流模式的形式化编码规则;借鉴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网模型的FMS控制决策方法研究

应用Petri网理论 ,通过对现有FMS(柔性制造系统 )进行分析和研究 ,确定了该FMS中的各状态和事件及其因果关系 ,建立了实际FMS的Petri网模型。通过该模型的描述和对FMS实际运行情况进行分析 ,建立了优化调度控制规则。依据模型和调度控制规则 ,构造了该FMS管理与控制软件 ,实现了用于一实际FMS的调度与控制决策系统和动态运行的有效控制     

工作流访问控制模型的研究及应用

在RBAC为基础上提出了工作流访问控制模型OBAC。对此模型进行了形式化定义。应用OBAC可以更容易地管理和实现工作流的访问控制,模型更贴近于生产业务。以电力系统生产管理系统为例进行了分析,表明该模型具有较高的安全性和灵活性。     

工作流管理技术支持下的PLM系统构建

产品全生命周期管理(Product Lifecycle Management,PLM)随着竞争和合作的全球化及网络技术的发展已成为制造型企业获得竞争优势的必要条件.本文介绍了PLM系统和工作流管理技术,通过分析产品生命周期建模、工作流系统实现以及协同工作等关键技术,最后给出了基于工作流技术的产品全生命周期管理系统模型的体系框架.     

质量管理系统中柔性工作流建模方法研究

针对传统质量管理对流程控制的不足，分析了传统工作流在柔性支持上的缺乏及业务过程建模描述复杂、僵化等问题，提出了一种基于柔性工作流的质量管理系统，结合UML定义良好、易于表达等特点，给出了基于扩展UML活动图的柔性建模方法，引入了复杂柔性节点的概念，提高了业务过程的柔性。实践表明，这一方法降低了业务过程模型的复杂度、增强了实际应用系统的灵活性、拓宽了适用性，为柔性工作流管理系统的进一步研究做出了有益的探索。     

质量管理系统中柔性工作流建模方法研究

针对传统质量管理对流程控制的不足,分析了传统工作流在柔性支持上的缺乏及业务过程建模描述复杂、僵化等问题,提出了一种基于柔性工作流的质量管理系统,结合UML定义良好、易于表达等特点,给出了基于扩展UML活动图的柔性建模方法,引入了复杂柔性节点的概念,提高了业务过程的柔性。实践表明,这一方法降低了业务过程模型的复杂度、增强了实际应用系统的灵活性、拓宽了适用性,为柔性工作流管理系统的进一步研究做出了有益的探索。     

基于产品结构的工作流程管理

本文在产品数据管理 (PDM)系统中提出一种以产品结构为基础的工作流程管理模型 ,把管理静态数据的产品结构管理和管理动态数据的工作流程管理紧密地联系起来 ,以实现对电子数据的完整表达、有序组织和高效利用     

基于组件的PDM流程的可视化实现

在分析现有流程设计的基础上 ,对采用组件技术的PDM流程可视化表示方法的开发作了研究与分析 ,对能满足PDM系统功能需求的、且可生存于分布异构网络环境的可视化流程设计软件系统的开发作了探索 ,并对该系统的结构组成与实现方法作了介绍。     

基于规则的产品CAD模型验证

CAD模型验证能够对复杂产品的CAD模型进行检查,找出产品建模阶段的错误或不规范地方,进而改正产品CAD模型中存在的问题。笔者提出了基于规则的产品CAD模型验证方法,运用UG/KF对产品CAD模型验证规则进行描述,并通过类的形式对模型验证规则进行组织和管理,较好地实现了产品CAD模型验证规则的表达和重用,实例表明该方法具有较高的实用性。