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

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

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

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

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

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

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

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

一种时间工作流模型的启发式分析方法

立足于实际业务过程对工作流系统时间管理功能的需求，提出了一种新的工作流时间建模与分析方法。为工作流网的元素扩展时间属性建模业务过程的时间因素；讨论了时序业务环境中活动的可调度分析，给出了时序一致性验证方法；提出了启发式可调度性分析方法，用于验证某一给定工作流实例执行的时间可行性。研究结果表明，所提方法不仅支持业务过程的时间约束规范与验证，还对丰富工作流时间建模理论具有重要意义。     

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

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

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

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

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

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

模糊时态工作流网的建模和时间可能性分析

现有的工作流模型中很少考虑时间不确定性，以及资源和变迁的有效时间约束问题。为此，通过对模糊时间Petri网的各个元素中引入时间约束，提出了一种工作流模型，即模糊时态工作流网，给出了该工作流网中各种时态元素的计算方法，并讨论了利用该网对工作流中的时态现象进行时间建模和时间可能性分析的方法。最后，用一个实例解释了这些方法的使用。模糊时态工作流网可以对带有时间不确定性和时间约束的工作流模型中的时态信息进行建模，并对一些典型的时间约束进行时间可能性分析。     

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

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

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

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

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

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

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

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

汽车混流总装配线系统TCPN建模与平衡仿真优化

运用建模仿真方法研究了实际中小型客车厂混流装配线系统平衡问题。在对混流装配线物流系统建立时间着色Petri网（TCPN）模型的基础上,应用物流软件AutoMod,重点对该系统进行仿真优化。对原实际客车混流总装配线进行仿真分析,发现系统各工位的资源利用率很不平衡,并且存在瓶颈。通过资源调整,从整体上改进优化了总装配线系统,使工位资源利用率更平衡,客车在总装配线上的等待数量减少约47%,下线产量提高了8%,明显提高了系统的效率。     

一类含时间因素工作流的建模与时间性能挖掘

时间控制和管理是工作流研究中的重要问题,针对一类含时间因素的工作流,给出了Petri网建模方法,分析了含时间因素工作流Petri网的性质。基于工作流Petri网模型及其可达图,深入挖掘了理想主活动线、稳妥主活动线和最佳状态线,分析了影响整个工作流完成时间的决定性因素以及工作流活动安排的最佳安全方案,给出了寻找理想主活动线、稳妥主活动线和最佳状态线的方法,证明了工作流的最佳状态线存在的充分条件。