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

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

随机Petri网工作流模型的等价性能分析

建立系统Petrl网工作流模型,给出了顺序、并行、选择、循环四种基本结构的等价化简公式。将原模型转化为随机Petri网工作流模型,并应用这一性能等价方法,逐步化简,最终得到系统的平均执行时间和与性能分析相关的有效定量参数。     

基于Petri网的保险工作流系统建模及验证

提出基于Petri网的工作流系统业务模型.该模型将Petri网的理论和性质应用于业务工作流系统当中,从系统的运行过程和形式化的图形描述方式两方面实现对工作流系统的快速建模和分析.通过工作流Petri网的语义性质,对所建立的中国人民保险公司的索赔业务工作流系统模型的正确性进行验证和分析,表明此模型有较好的应用效果.     

基于时间Petri网的薪酬绩效系统的研究

本文提出一套薪酬绩效系统模型。系统采用Hibernate连接数据库,以时间Petri网(TPN)的并行式工作流模型建模。文中首先介绍了该薪酬绩效系统的体系结构和系统功能结构,通过基于层次时间Petri网工作流模型(HTPN)对该系统工作流运行时间进行计算。最后对系统通用性、可移植性和效率进行分析。     

基于时间Petri网的薪酬绩效系统的研究

本文提出一套薪酬绩效系统模型。系统采用Hibernate连接数据库,以时间Petri网(TPN)的并行式工作流模型建模。文中首先介绍了该薪酬绩效系统的体系结构和系统功能结构,通过基于层次时间Petri网工作流模型(HTPN)对该系统工作流运行时间进行计算。最后对系统通用性、可移植性和效率进行分析。     

基于活动预调度的工作流管理研究

在工作流管理中,通过将顺序执行的活动重叠执行来缩短过程执行周期、提高系统的执行效率,是长久以来大家关注的问题。传统支持过程管理的系统在这方面没有提供足够的支持手段。本文通过对实际应用情况的分析抽象,提出了用活动预调度的方法来解决以上问题,并针对项目管理型系统提出了解决方案:基于信息约束驱动执行的工作流管理机制。分析证明,预调度在实际工作流管理中是有意义且可行的。     

基于Petri网的工作流并行算法的研究

为了模拟企业工作流的业务流程,实现企业业务过程的自动执行和监控,提出了一种新的工作流Petri网模型及其并行算法。(1)根据工作流系统和Petri网模型的特点,给出了工作流模型与Petri网的映射关系;(2)对基于Petri网模型的四种工作流网基本模型进行并行性分析,提出了一种新的工作流Petri网并行模型;(3)结合Petri网并行划分算法和新的模型进行融合与优化,提出一种新的工作流并行优化算法;(4)以应用实例对工作流并行优化算法进行验算与分析。结果表明,新的工作流Petri网模型及其并行算法可行有效。     

基于Petri网的集成系统工作流建模的研究

在分析大量实际工作流特征的基础上,总结了实际工作流执行中的路选结构情况,在此基础上改进了WM FC提出的Petri网工作流模型,提出了基于Petri网技术构造工作流模型的FA-PN网(F low A PetriN et)并介绍了使用所建模型构建实际复杂合同评审系统的Petri网工作模型.另外详细阐述了扩展法构建Petri网工作流模型的过程,并提出了模型结构正确的证明方法.最后介绍了一种对模型结构的冲突情况进行仿真分析的仿真法,可用来验证模型的正确性.     

一种基于有色Petri网的网格工作流模型

给出了一种基于有色Petri网的网格服务工作流模型——有色服务流程网（Colored Service Flow Net）,在此基础之上分析并提出服务流水线（service Pipelining）的概念．该模型将图像数据传输作为服务运行的触发条件,提高了服务流程处理的效率,减少了用户作业的执行时间．     

一个基于Web的工作流系统的体系结构

针对目前的工作流管理产品缺少对异构、分布应用的有效支持 ,缺少足够的可靠性和可扩展性 ,作者近期设计了一个基于Web的工作流管理原型系统WFlow 在该系统中通过引入工作流分层模型和嵌套分布执行机制 ,增强了系统对异构、分布应用的支持力度 ,提高了系统的可靠性 文中着重讨论其体系结构 ,其中包括工作流模型、工作流引擎和多引擎间的协调机制等     

基于Petri网的工作流系统不确定性时间信息的计算

基于工作流系统对时间管理功能有严格的需求, 针对任务执行时间的不确定性, 提出了基于库所时间Petri网的工作流系统建模方法—PT_net. 该方法可以有效计算工作流系统的时间信息, 从而为工作流系统的时间管理和分析提供技术支撑.     

基于Petri网的工作流仿真建模研究

工作流仿真模拟工作流执行的环境,高效、低成本、快速地执行工作流过程,通过分析仿真结果,来发现模型中存在的问题,达到工作流优化和重组的目的.仿真模型是仿真的前提和基础,该文介绍基于Petri网的工作流模型,讨论了在此模型基础上如何添加仿真信息,映射基于Petri网的仿真模型,并以工作流仿真的部署,说明了仿真建模的研究.     

基于Petri网和定制技术的油田档案管理系统设计

针对油田数字化档案馆中的系统模块化程度低及灵活性差等问题, 提出基于 Petri 网和组件技术的功能定制开发方法。 采用面向对象着色 Petri 网实现档案管理的层次化建模, 并添加复位弧优化档案调用流程。利用关联矩阵和可达图及相关理论, 对模型进行合理性分析。 通过模型提取组件, 建立组件信息库。 利用信息库结合用户定制的业务逻辑, 实现系统对组件的有序调用, 完成业务定制功能。 应用结果表明, 该系统定制灵活、 适应性强、 档案调用速度快, 满足实际需要。     

工作流中多粒度时间约束的建模及其一致性分析

对基本工作流网进行了时间属性的扩展,定义了一个可以模拟业务过程多粒度时间约束的工作流模型:多粒度时间约束工作流网,可以很好地模拟与业务过程相关的多粒度时间约束,包括任务的相对就绪时间约束、任务的相对执行时间约束、任务的执行持续时间约束以及任务之间的时间约束,并且给出了这些多粒度时间约束的一致性分析.     

QoS约束的云工作流调度算法

将云计算和工作流两者结合起来,并根据用户关心的QoS中执行时间和执行费用问题,针对工作流调度策略在云环境下调度实例密集型工作流时效率不高的问题优化资源调度策略,给出云工作流调度模型,提出一种基于QoS约束的云工作流调度算法MSCWQ(modifiedschedulingalgorithmforcloudworkflowbasedonQoS).该算法利用DAG(directedacyclicgraph)进行建模,优化资源策略,保证在最晚结束时间内使整个工作流实例的执行费用尽可能小.实验结果表明,在调度实例密集型云工作流时,该算法能有效提升科学工作流的执行效率,并能减少资源的使用费用.     

基于三层调度机制的工作流引擎的研究

通过对工作流执行的本质的研究，根据影响工作流执行的3个基本要素对工作流过程进行逻辑上的分层，提出了基于3层调度的工作流引擎．该方法将工作流过程分成应用层、业务层和表示层，简化了工作流的执行过程，提高了工作流的柔性，增强了对复杂的业务流程应用的支持度．     

A study on coupling technique and implementation of the wave-circulation coupled model

The coupler is fundamental for a coupled model to realize complex interactions among compo- nent models. This paper focuses on the coupling process of Wave-Circulation （W-C） coupled model which consists of MASNUM （key laboratory of marine science and numerical modeling wave model） and POM （ Princeton Ocean Model）. The current coupling module of this coupled model is based on the inefficient I/O file, which has already become a performance bottleneck especially when the cou- pled model utilizes a large number of processes. To improve the performance of the W-C model, a flexible coupling module based on the model coupling toolkit （MCT） is designed and implemented to replace the current I/O file coupling module in the coupled model. Empirical studies that we have carried out demonstrate that our online coupling module can dramatically improve the parallel per- formance of the coupled model. The online coupling module outperforms the I/O file coupling mod- ule. When processes increase to 96, the whole process of EXP-C takes only 695.8 seconds, which is only 58.8% of the execution time of EXP-F. Based on our experiments under 2D Parallel Decom- position （2DPD）, we suggest setting parallel decomposition strategies automatically to component models in order to achieve high parallel efficiency.     

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

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

基于模板的服务工作流的优化组合方法

研究了网络环境下基于模板的服务工作流的优化组合算法.该算法将服务优化组合问题转化为服务工作流模板的优化组合问题,既极大程度地复用历史服务工作流模板以减少组建新工作流的工作量,又通过优化使得服务工作流结构更为合理,缩短了服务工作流的执行时间.通过使用Petri网对网络流媒体课件制作服务工作流进行建模,并对比优化前后服务工作流模型的SPNP性能分析结果,证明了优化算法的有效性.     

基于工作流的企业过程的建模和仿真技术研究

过程集成是提高企业运行效率、增强企业柔性的一种全面集成方式 ,企业建模和仿真可以为企业过程的分析和优化提供依据 ,是实现过程集成的重要支持技术。工作流技术和集控 Petri网方法作为企业建模和仿真的支撑技术 ,各自都有着明显的优点和不足 ,而它们二者之间具有很强的互补性 ,如果能够将二者巧妙的结合起来 ,将为实现过程集成提供有效的帮助。首先给出了基于工作流的企业过程的建模、仿真、使能系统的模型和体系结构 ,然后介绍了将工作流模型转化为集控 Petri网来实现企业过程仿真的方法以及仿真过程中时间和成本等性能参数的计算和分析方法