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

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

基于ECA规则的适应性工作流技术研究

工作流管理系统能够给企业的业务运行提供有力支持。但是，目前的工作流管理系统对过程模型的表达过分简化，影响了它在实际应用中的效果。为了提高工作流管理系统的适应性，文中形式化地定义了适合于工作流的ECA规则。在此基础上提出了基于ECA规则的工作流模型，并将该模型与基于Petri网和基于UML活动图的工作流模型进行了比较。提出了一种基于事件表达式重写策略的事件检测方法，以提高工作流引擎的执行效率。最后，介绍了一个基于ECA规则的工作流技术的应用系统。     

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

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

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

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

基于BOM的可配置制造执行系统研究

以装配型生产为研究对象,在工作流技术的基础上,利用BOM信息提出了一种装配流程可配置的制造执行系统。首先将装配BOM映射成Petri网,利用所获得的Petri网建立工作流过程模型;同时将各类BOM中所包含的信息融合到该模型中,使得BOM能够与各子系统进行信息交互,为车间调度、物料配送、质量管理、设备管理及刀具管理等模块提供有效的管理依据。最终以工作流引擎为核心,实现制造执行系统的可配置,可操作性及生产过程的可视化管理。     

基于广义随机Petri网的工作流性能分析

通过引入广义随机Petri网，将工作流管理联盟定义的工作流模型映射为广义随机工作流网络。利用广义随机Petri网与马尔可夫链的等价关系，得到一种Petri网与马尔可夫链理论相结合的工作流性能分析的新方法，为工作流性能的有效评估提供了理论依据，并通过实例验证，该方法可用于分析工作流模型的时间性能和资源利用率。     

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

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

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

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

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

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

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

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

基于Web方式的工作流管理系统的设计

工作流管理技术是计算机应用领域的一个重要研究方向，它通过计算机来支持企业经营过程的运行，实现对企业经营过程的管理与控制。介绍了工作流管理系统产生的背景以及采用WEB方式体系结构的优势，简述了工作流的基本概念和系统的工作原理。分析了ASP结合COM的技术实现方案，采用以基于脚本语言的描述语言和对象化引擎结构，并通过应用实例进行验证。     

面向航空发动机模具的数据管理系统研究

为解决我国航空发动机模具在设计、生产中的数字化模型管理、设计过程管理等问题。研究了基于Teamcenter Engineering v9．0的PDM系统的构建和应用，并结合产品实例对产品数据管理和流程管理的建模方法及实施要点进行了详细的阐述。提高了航空发动机生产企业的效率和信息化管理水平。     

三层工作流管理集成框架

提出了在工作流层、过程管理层及企业应用层3个层次上考虑工作流管理系统的集成性、开放性，并分别建立了集成方案：通过Web Service技术、KQML／SOAP消息实现工作流层集成；通过任务耦合实现项目管理与工作流管理之间的集成；通过企业基础设施、应用服务注册及适配器封装实现应用层集成。最后对集成方案进行了验证。     

资源分配演化过程与系统实现研究

通过对各种资源分配类型的分析，提出了控制资源分配的三元结构，并将资源分配过程演化为资源计划、资源准备和资源执行3个阶段。在此思想上设计并实现了一个资源分配系统。通过与YAWL工作流引擎的集成，较好地完成了对工作流实例的资源分配。     

基于web服务的工作流管理系统的设计与实现

工作流技术现已成为业界广泛使用并迅速发展的技术。本文首先介绍了工作漉技术及工作流管理系统的一些基本概念。然后从三方面讨论了基于Web的工作流管理系统的设计原理与实现机制。最后说明了应用于天津工业大学的基于Web的工作流管理系统的实现过程。     

基于COM的产品设计工作流系统的研究与实现

针对产品设计过程的不确定性及目前工作流管理系统柔性不足的现状，提出在Web环境下，采用COM组件技术开发面向产品设计的工作流管理系统，为工作流定义与运行模块分别构建组件，实现了流程的可视化定制与自动流转。介绍了系统结构及工作流引擎的具体设计与实现，并给出了应用实例。     

基于柔性工作流的船舶管理系统研究

为实现船舶业务处理的流程化和规范化,将柔性工作流技术引入现代船舶管理系统。阐述了流程建模和实例化的过程,实现了应用逻辑和过程逻辑的分离,简化了系统结构和编程模式,使系统能够满足流程变更和异常处置的要求,有效地提高了船舶管理系统业务处理的柔性和工作效率。     

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

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

分布对象环境下工作流执行系统设计

过程集成是ＣＩＭＳ信息技术发展的新方向，工作流技术是实现过程集成的关键技术之一。采用分布对象技术可以解决工作流执行系统实现中的异构分布处理、应用系统接口等问题，并有助于系统组件重用。本文讨论了基于分布对象技术ＣＯＲＢＡ的工作流执行系统的设计，分析了以对象请求代理（ＯＲＢ）为主要底层支撑的系统功能结构，研究了系统设计中模型语义支持与分布粒度等技术，并给出了基于ＣＯＲＢＡ的一个工作流执行系统的设计方案     

流程管理系统开发应用中的问题及解决方法

在综合对PDM(产品数据管理)的需求分析及为企业开发流程管理系统的经验基础上,对出流程处理模型、流程过程与业务对象关联、流程与文件结合的事务处理、流程模板的版本、提高流程的执行效率等流程管理系统的开发中所遇到的问题进行了分析,提出了解决方法,也为流程管理系统的研究提供了思路。