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

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

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

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

基于Petri网的海关业务流程工作流模型分析

Petri网作为当今最具有前途的建模工具,它的应用几乎涉及到计算机学科的各个领域。这里通过对基于Petri网的海关业务流程工作流模型的实例分析,最终得出优秀的工作流模型可以优化工作流程、提高企业运行效率、增强企业竞争力的结论,而且该建模方式也为设计与开发高可靠性、柔性和适用性的工作流模型提供很好的依据。     

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

针对业务流程建模符号过程模型语义验证问题,提出了一种新方法.该方法基于正确的业务流程建模符号过程模型是工作流模式的合理组合的理念,通过扩展和改进业务流程建模符号及其执行语义,设计了工作流模式的形式化编码规则;借鉴Petri网化简方法,设计了工作流模式组合化简规则;基于工作流模式编码及组合化简规则,给出了业务流程建模符号过程模型验证方法.应用示例表明了该方法的有效性.     

基于Petri网的轻量级工作流引擎设计与实现

工作流引擎是工作流管理系统的核心。一个可复用、可扩展的工作流引擎将极大的缩短整个系统的开发周期。该文通过将Petri网映射到工作流过程模型,提出一种基于Petri网的轻量级工作流引擎的设计与实现方法。该工作流引擎能方便地嵌入到到各种体系架构中,可以容易地进行扩展,形成完整的工作流管理系统。     

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

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

支持工程变更的柔性工作流系统建模与实现

提高工作流系统的柔性需要从工作流的建模、系统设计等各方面去努力.将扩展的变迁时间间隔Petri网应用于工作流程的建模,通过对每个变迁节增加点火标识,满足流程处理中对并行性、同步性和回溯反馈等要求;并以工程变更管理为背景提出一种适应复杂多变流程的工作流模型,以及在工作流设计中提高系统柔性的一些策略.最后,讨论了基于该模型的工作流系统的原型实现.     

基于UML和Petri网的工作流建模与优化研究

利用UML活动图和Petri网建模的互补性,提出了综合运用两种方法进行工作流建模和仿真优化,并通过实例分析验证了该方法的可行性与有效性。该方法从最基本的角度刻画整个业务过程,实现了业务过程重组与优化,有效地解决了工作流的柔性问题。     

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

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

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

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

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

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

基于PDM协同设计任务建模与调度方法研究

从产品数据管理系统中协同设计过程任务建模的角度出发,提出基于产品结构分解的协同设计过程人员-任务分配模型,建立任务结构的约束映射和基于可扩展着色Petri网的任务过程建模方法,实现Multi-agent协同设计过程任务调度集成框架,最后进行了系统实现.     

一种工作流过程模型到工作流网的转换方法

为了便于非专业人员的工作流建模操作，利用Petri网现有的分析计算方法进行工作流模型的正确性分析和系统性能计算，给出了基于统一建模语言活动图的工作流过程模型建模方法，讨论了统一建模语言活动图到工作流网的转换方法，包括：非对象节点的转换、控制流边的转换、对象节点及对象流边的转换等。结合民航机场地面信息系统实例，对转换结果进行了分析。     

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

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

基于工作流技术的知识管理系统研究与设计

分析知识管理本质的基础上,提出了一种基于工作流技术的知识管理系统实现方案,并给出了系统的体系结构设计与安全访问控制策略。介绍了知识管理对工作流柔性化管理的支持,并分析了异常知识库的构建方法。同时,从知识管理开放、灵活性的设计需求和工作流柔性化管理的角度,对传统的工作流建模工具进行了改进设计。最后,针对面向工作流技术的知识管理,给出了一种知识库实施方法。     

板材FMS基于规则的面向对象Petri网建模

基于柔性制造系统（FMS）的运行特点，提出了基于规则的面向对象扩展着色赋时Petri网建模方法，该方法集中了面向对象技术和Petri网的优点，并融系统决策规则于模型中，利用该方法建立了板材FMS的模型，为系统仿真和调度研究创造了条件。     

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

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

虚拟企业环境下过程融合及产品开发项目协调

提出了虚拟企业产品设计过程融合的思想,以及面向虚拟企业的设计过程融合与设计活动集成体系结构。该体系结构在任务分解与资源匹配,过程融合、管理与协作,设计任务执行以及对象与版本管理四个层次上,捕捉设计过程中内在的动态特性。基于设计过程动态建模描述虚拟企业环境下过程融合设计流模型,支持虚拟企业环境下敏捷设计流管理,统一组织和管理设计过程、活动及资源,实现虚拟企业环境下产品设计过程分析、优化与动态重构。最后,从三个方面讨论了虚拟企业环境下分布式并行协同产品开发项目的协调问题。