扩展模糊时间工作流网的建模与仿真研究

针对不确定性情况下工作流时间分析的实际需求,基于可能性理论,引入模糊时间的概念,提出了一种扩展模糊时间工作流网,以便对不确定性时间信息进行全面描述.在考虑不同流程活动之间存在资源约束的情况下,提出了基于扩展模糊时间工作流网的多个并行流程建模方法.同时,分别讨论了扩展模糊时间工作流网模型中模糊时间和变迁触发可能性的模拟,提出了模型的仿真分析方法.最后,以某制造企业为例,采用CPN Tools进行建模和仿真分析,验证了方法的有效性.     

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

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

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

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

基于工作流的模具敏捷制造过程中的Petri网建模

敏捷制造是一种新型的组织制造模式,以实现企业间的集团协作,实行不同厂家之间的优化组合,提高企业运行效率为目标。本文通过工作流技术和Petri网方法的有机结合,进行模具敏捷制造过程的建模,为制造过程的分析和优化提供依据。     

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

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

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

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

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

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

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

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

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

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

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

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

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

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

判定工作流网S-可覆盖性的有效算法

为有效判定工作流网的孓可覆盖性,将工作流网的S可覆盖性判定转化为线性规划问题,借助单纯形方法给出一个判定工作流网孓可覆盖性的有效算法。对单纯形算法进行扩展,在判定工作流网孓可覆盖性的同时可以求出一组s不变量的极小支集。只要给定的工作流网满足孓可覆盖性,上述算法就可以求出一组覆盖所有库所的S不变量的极小支集。结合投诉处理业务流程实例对算法进行了验证。     

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

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

模糊柔性制造系统的混杂Petri网建模与调度

对模糊柔性制造系统的建模和调度进行了研究.定义了一种具有模糊区间速率的混杂Petri网模型,提出了模型的迁移使能和迁移引发语义,定义了弱使能迁移的模糊使能规则,给出了模型动态演变算法.建立了模糊柔性制造系统调度的模糊线性规划模型,并对典型的工业实例进行了分析.研究结果表明,基于所定义的混杂Petri模型能够有效地描述和分析模糊柔性制造系统.     

基于模糊数Petri网的简单机电产品拆卸

针对结构简单机电产品拆卸序列的寻优问题,提出了一种模糊数Petri网模型基础上的产品拆卸序列排序的难度可能度方法。首先,将善于表达模糊或界限不确定目标的三角模糊数与便于建模的Petri网相结合,建立了三角模糊数Petri网;其次,以拆卸难度作为结构简单机电产品拆卸序列评价指标,以三相异步电动机为例,在建立三相异步电动机拆卸序列的三角模糊数Petri网模型的基础上,利用拆卸难度可能度方法,实现了对三项异步电动机拆卸序列的难度优选排序;选择难度最小的拆卸序列进行拆卸,提高了拆卸效率。     

基于受控赋时Petri网的批处理系统建模

将受控赋时Ｐｅｔｒｉ网用于批处理生产过程中离散事件的建模。通过为动作库所赋予不同的时间参数,可对批处理对程中特有的零等待与有限时间等待中间存储策略进行建模和分析,控制库所的引入可消除资源争用冲突。借助与建立的模型,可进一步对系统进行逻辑分析和控制综合研究。     

带数据工作流的形式化建模语言——数据感知的工作流网

为了在工作流实施之前对工作流进行形式化建模与验证,首次全面总结带数据工作流的形式化建模的研究现状。在理清工作流中各类数据与控制流的交互特征后,提出一种带数据工作流的形式化建模语言——数据感知的工作流网,并给出其行为语义。通过工作流网模型的合理性分析／一致性分析方法的提出和方法的工具实现,证明了数据感知的工作流网具有较强的形式化建模能力。     

一种工作流模型的时间性能评估方法

在对模糊时态工作流网引入选择概率函数的基础上,提出了扩展模糊时态工作流网的工作流模型,给出其中的时态元素计算方法,以及分解扩展模糊时态工作流网的算法,并讨论了基于该分解算法的时间性能评估方法.最后,通过一个实例阐明了如何使用该时间性能评估方法.