一种WF-net合理性验证方法

工作流过程定义的合理性对于工作流管理系统具有重用意义，在设计的工作流过程投入实际运行前必须证明其合理性.WF-net是一种对工作流的控制流维度建模的Petri网，具有牢固的理论基础，是对工作流过程定义进行描述的有效工具.基于WF-net工作流建模理论，在工作流过程定义的合理性及与WF-net的合理性相关的基本原理和分析方法的基础上，提出了一种验证WF-net合理性的方法.     

基于工作流网的过程模型的合理性分析

针对难以建立合理的工作流模型问题,将工作流管理联盟(WFMC)定义的工作流模型映射为工作流网(WF-net)。基于两种不破坏原工作流网络结构特性和系统行为的调整映射,将工作流网调整为完全的扩展自由选择网(EFC-net),结合秩定理,给出了验证工作流合理性的算法。     

基于Petri网的工作流模型合理性研究

针对难以建立合理的工作流模型问题,将工作流管理联盟(WFMC)定义的工作流模型映射为工作流网络(WF-net).在定义并证明两种不破坏原工作流网络结构特性和系统行为的调整映射的基础上,将该工作流网络调整为完全的扩展自由选择网(EFC-net).通过证明扩展自由选择网与自由选择网(FC-net)的最小死锁有相同的特征.通过引入获取最小死锁的算法,结合秩定理,给出了验证工作流合理性的算法.     

基于复合状态的工作流授权

提出了一个新的工作流授权模型,目的是解决工作流的执行流和授权流不能同步的问题.新模型是基于工作流任务调度的授权系统.通过分析工作流授权状态和工作流任务执行状态之间的转换,将授权状态和执行状态进行绑定,提出了复合状态的概念.然后使用预授权操作和复合状态转换操作完成复合状态的转换,从任务调度的角度解决了工作流的执行流和授权流不能同步的问题.最后通过针对授权同步性能的测试验证了新模型能够使授权流和执行流同步的结论.     

任务状态敏感的访问控制模型及其有色网仿真

针对现有主动访问控制模型中授权流与工作流同步粒度不够精细的问题,提出一种任务状态敏感的访问控制模型.根据任务实例的不同状态对多个执行角色进行差异化授权,施加相应的职责分离约束,并给出一种有色网仿真分析方法.概念模型可以优化工作流中的数据利用,充分增强业务中的角色协作.仿真分析方法可跟踪工作流执行时的安全状态,并发现潜在的死锁问题.通过一个软件工作流验证了其协作与访问控制概念的可行性及其分析方法的有效性.     

基于Petri网的技术在电子政务办公系统中的应用

通过对基于Petri网的工作流建模技术的描述,介绍了与此相关的核心技术,研究分析了实际工作过程中电子政务办公系统中的发文管理的业务流程,引入了Petri网和工作流建模技术,结合具体实例提出了一种基于Petri网的电子政务办公工作流模型,并对该模型进行了可达性验证和合理性验证,二次开发后的验证结果和实践表明该模型能够有效地改善和提高电子政务办公系统的效率和实用性。     

时间约束工作流模型及其应用

工作流时间管理是工作流管理系统的一个关键部分,一个工作流程在定义、执行阶段明确计算出其所需消耗的时间以及各个步骤的可能启动时间对于安排时间和资源计划都是很有意义的.本文介绍了时间约束的工作流网及其层次扩展模型,分析目前工作流时间管理中存在的问题,提出时间约束工作流网在事务处理流程和项目管理二种不同应用环境中解决时间计算问题的思路.     

无序档案资料整理的工作流网模型

工作流是实际业务工作流程的形式化表示,其关键在于建模.由于Petri网构建的工作流模型具有简单明了的特点,因而成为的重要建模工具.在Petri网和工作流理论的基础上,把一个实际的任务分解为工作流,并对该工作流构建工作流网模型.最后,对所建模型的正确性进行了定性的分析,并对模型的特性和所反映的问题进行了讨论,说明了利用Petri网技术来为实际业务流程建模的合理性和优越性.     

基于Petri网的工作流模型优化

为了使工作流模型更简洁,在工作流网WFPN的定义的基础上,给出了利用可达性分析技术对WFPN进行合理性分析的有效方法,提出了一种通过添加抑制弧对WFPN进行优化的算法.该算法为Petri网在大规模复杂模型中的应用及其理论分析提供了一条新的思路.最后,通过一个实例说明了其优化过程,验证了该优化算法的有效性.     

基于模块化的拆卸模型及拆卸序列规划研究

为解决拆卸序列规划过程中的组合爆炸问题,提出了产品的基于模块化的拆卸回收模型,对零部件之间的约束关系进行定义;提出了基于约束关系矩阵的拆卸序列规划方法,降低了拆卸模型的复杂度,提高了搜索的效率.最后,通过一个实例验证了该方法的合理性和有效性.     

真并发等价性下的流程模型转换方法

针对工作流建模过程中流程模型的演化问题,在真并发等价性概念下,提出将图形化控制流模型转换为顺序与并发结构可分隔处理的可分离形式的方法.采用自由选择工作流网建模控制流模型,以完全并发互模拟为真并发等价概念,定义两个安全网间是完全并发互模拟关系的充分条件;基于Petri网的网展开,提出获得工作流网的可分离形式的局部网展开算法;通过证明局部展开网与原工作流网满足完全并发互模拟的充分条件,保证两个网模型的等价性.所提转换方法与已有方法相比,能够保留并发层次,且所需步骤更少,有利于流程模型的演化.     

Model Checking Workflow Net Based on Petri Net

The soundness is a very important criterion for the correctness of the workflow. Specifying the soundness with Computation Tree Logic （CTL） allows us to verify the soundness with symbolic model checkers. Therefore the state explosion problem in verifying soundness can be overcome efficiently. When the property is not satisfied by the system, model checking can give a counter-example, which can guide us to correct the workflow. In addition, relaxed soundness is another important criterion for the workflow. We also prove that Computation Tree Logic ＊ （CTL ＊ ） can be used to character the relaxed soundness of the workflow.     

基于改进神经网络算法的电力系统经济调度

为解决新能源接入大电网带来的能源损耗问题,进行常规能源发电机组的快速经济调度是一种有效措施。针对存在多种常规能源的电力系统,建立了考虑传输损耗的电力系统经济调度问题模型,基于增广的Lagrange-Hopfield 神经网络优化算法,引入乘子神经元传输速率参数,提出了改进的增广Lagrange-Hopfield 神经网络算法。从理论上证明了该算法的收敛性,以及收敛的快速性。以某一项目为例,选取不同的传输速率参数,验证了改进的增广Lagrange-Hopfield 神经网络算法受传输速率参数的影响,并且工程可行,收敛快速。     

基于工作流的企业过程分析与重组方法研究

为了解决目前大多数过程建模方法都不能够充分满足BPR需要的问题,应用工作流技术,提出了一种附带有过程语义字典的工作流扩展模型。同传统的建模方法相比,工作流扩展模型进一步丰富了过程的语义属性,它不仅满足BPR对流程进行规范化描述的需要,而且还具有描述并发、冲突、同步等复杂关系的能力。同时,它还提供了基于相似性和耦合性的过程分析技术,从而为实现过程的重组提供了重要依据。最后,通过一个应用实例对模型进行了验证。     

Soundness analysis of compositional model of time-based petri nets

Workflow management systems are widely used in improving the efficiency of business processes.To develop a workflow management system is the key to workflow modeling.In this paper,the compositional time net is presented to model workflow processes on the basis of the analyzing methods of time Petri nets and workflows,and to describe the static relationships and the dynamic semantics of the task of multiple workflow composition.The paper puts more emphasis on checking the soundness of composed workflow,at the same time,combinational problems of non-conditional structure of the compositional time net are introduced and analyzed.A sufficient and necessary condition for determining the soundness of compositional nets is obtained.     

一种有限空间区域的机群调度优化算法

 基于有限空间区域调度优化问题,针对机群调度具体问题,先将机群保障流程整体抽象建模,再把物理模型转化为典型调度问题模型,设计启发式规则提出优化算法。算法分为上、下两层次,上层负责在有限区域内选择合适的停机位和起飞位,下层负责对单机各作业进行调度,下层把调度结果返回给上层算法,上层根据该调度结果自适应调节某架机的停机位和起飞位,重新调用下层算法以验证该调整是否能改善解的质量。以典型出动任务作为输入算例,求解出有限空间区域的机群调度方案结果。相比之前人工排布的方式,本方法在求解时间和结果优劣两方面更具优越性,该方法使得机群调度指挥方式向智能自动化过渡,对提升机群出动架次率有重要意义。     

面向工作流结构优化的扩展关键路径分析

针对工作流模型的结构特点，建立了一种扩展的关键路径分析法，增加了对工作流常见结构——可选路径和循环的支持．该法将工作流模型中不同的控制结构转换为相应的树形式，并建立它们的约简规则．通过加权关键路径算法，可以计算工作流完成时间的期望值及记录约简过程中的中间结果，从而确定工作流模型的关键路径．在该路径上包含了在整个流程起关键性作用的活动以及相应的时间分布，为工作流过程优化提供了良好的基础．     

多Agent的计算机支持协同设计异常处理模型分析

结合工作流和多Agent技术,提出一种基于多Agent的计算机支持协同设计(CSCD)异常处理框架．在通信层,超时策略根据当前Agent自身状态和网络状态自适应地使用面向连接和无连接消息服务,以便为可靠的通信提供保障,减少通信故障对异常处理的影响．结合多Agent协调理论,扩展了通信原语,并利用面向对象Petri网(OOPN)建立了多Agent的状态变迁模型,验证了该原语的有效性．在应用层,按照Agent的信息处理流程,结合工作流和客户／服务器技术,利用OOPN对多Agent的CSCD系统的客户端和服务器内部模型进行定义,验证了多Agent系统的动态行为,所建立模型的多实例、多线程访问控制处理能力,以及在线和离线异常处理机制．