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

为解决复杂工作流的时间建模与可调度性验证问题,提出了将简化规则应用到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网建立了某制造企业业务流程的工作流模型，并运用可达树分析方法分析了网模型的活性。     

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

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

面向服务的基于元模型的统一制造资源建模研究

为了解决网络化环境下多应用系统中制造资源集成的问题,提出了一种面向服务的基于元模型的制造资源模型。该模型从基础数据、业务过程、应用扩展三个方面对制造资源进行抽象,并引入情境元类,从元概念、元属性、元关系三个方面对制造资源信息模型进行表达。分析了元模型的扩展机制,给出了统一制造资源信息框架,并利用面向服务的相关信息技术,建立了一个可扩展、可集成的面向服务的数字化制造资源管理平台。     

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

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

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

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

基于Petri网的并行测试资源调度建模与验证

基于变迁时延Petri网对2个并行UUT的测试任务的资源调度问题进行了建模与验证,并采用CPNTools对系统进行了仿真。     

同步协同设计中基于关联关系的资源调度方法

提出基于关联关系的资源调度策略，以解决同步协同设计技术所面临的共享冲突的难点问题。以领域隶属度为依据，定义了不同属性资源间的关联度。建立了同步协同过程的工作流模型，面向不同阶段的工作流，提出了基于关联关系的资源调度策略。采用智能体技术实现信息流控制，建立了同步协同设计系统的网络逻辑结构。最后以具体实例阐明了基于关联关系的资源调度实现方法。     

基于模糊Petri网推理的半导体生产线动态调度研究

针对动态调度的特点,为了综合优化半导体生产线性能指标,尝试使用基于模糊Petri网推理的方法进行动态调度。首先分析了影响动态调度决策的生产线状态信息;然后建立了模糊Petri网形式化推理机,继而构建了面向半导体生产线的模糊Petri网推理模型;最后使用实际半导体生产线模型,将提出的方法与FIFO、EDD和CR策略进行了仿真比较。结果表明基于模糊Petri网推理的动态调度方法能够改善半导体生产线多种性能指标。     

测试系统多智能体建模技术及应用

现代测试系统需要管理多种测试资源,并利用它们之间的高效自主协调完成测试任务,但是系统软件的设计却缺乏统一模型框架和理论分析依据。将智能体技术应用于测试系统,建立了基于多智能体的测试系统结构模型和逻辑模型,然后利用Petri网建模方法对多智能体测试系统的运行过程进行形式化建模,并通过可达图分析,验证了该模型的可达性、安全性与活性,最后针对固体继电器的性能参数测试开发实例系统,在工程应用中验证了该智能建模技术的有效性,结果证明实例系统的运行过程与模型仿真结果一致,无冲突和死锁等现象,并与未采用智能体技术开发的测试系统作对比实验,表明当测试任务或测试资源增多时,智能测试系统的优越性更为明显。     

基于Petri网的敏捷化生产调度建模方法

针对企业生产调度敏捷化程度不高、影响整个生产系统产能和效益最大化的问题,结合Petri网技术、面向对象方法和敏捷制造思想,提出了基于Petri网的敏捷化生产调度建模方法,开发了敏捷化生产调度建模的调度流程,研究得出了扩展的产能计算函数,建立了以产能瓶颈站点为调度核心,并向其他次产能瓶颈站点发散的敏捷化生产调度模型,直观、形象地反映了企业生产实时调度情况。通过实证研究,构建了产能函数,实现了对整个生产系统的全面调度,提升了瓶颈站点的产能,缩短了产品生产周期,提高了整个制造系统的效益。     

制造网格中基于服务质量的资源调度研究

为有效解决制造网格中的资源调度问题,建立了基于服务质量的制造网格资源调度器,将整个调度过程分为基于服务质量的资源搜索、基于服务质量的资源调度和动态交互协商3个阶段,并对资源调度阶段进行了深入研究。在对任务／子任务、资源进行数学定义、推理出资源-任务匹配矩阵的同时,以资源的服务质量属性为评价准则,以模糊层次分析法与群决策法为基础,建立了基于服务质量的群决策模糊层次分析模型,并结合一个具体应用实例说明了该模型的计算过程,验证了其合理性和实用性。     

工作流模型可调度性验证与分析方法

实施工作流管理是支持复杂产品的设计、制造及销售等高度复杂工作流程高效运作的有效手段,而从理论上验证和分析相应工作流模型的正确性及合理性对工作流管理系统的成功实施有着重要的意义。在讨论了工作流模型在时间层次上需要考虑的各种时间约束的基础上,通过扩展时间信息到只描述过程逻辑的工作流网中来,给出了时控工作流网的概念。进而在给出了从一种包含时间信息的有向网络图到时控工作流网的模型映射方法之后,对基于时控工作流网的工作流模型可调度性验证与综合进行了详细的讨论。最后用一实例验证了其有效性。     

动态CAPP系统及其加工资源决策方法的研究

为提高工艺计划的可执行性，提出一种动态CAPP系统集成模型。在工艺计划产生过程中，考虑车间加工资源的状态以及能力，实现加工资源的合理选择，产生具有良好生产指导能力的工艺计划信息。在资源决策过程中，基于BP神经网络进行车间加工资源决策，利用相关算法计算对应于每一加工特征的加工资源的优先指标，按照优先指标排序。结果表明，利用该方法产生的工艺计划符合车间资源能力，满足车间生产计划的需求。