着色Petri网在工作流建模中的应用

工作流建模是工作流管理系统进行工作流管理所必不可少的一个环节。而Petri网以其严格的数学基础、成熟的分析方法和工具而日益得到广泛的应用。本文介绍了着色Petri网在工作流建模中的作用，然后对一个具体的业务流程分别用经典Petri网和着色Petri网建立了过程模型并进行了比较。     

基于Petri网的工作流技术在MIS中的应用

工作流技术是计算机领域中的一门新兴技术,工作流技术支持的信息系统具有良好的适应性和灵活性.文中简要地介绍了WFMIS和基于Petri 网的工作流模型,结合具体的实例,分析了WFMIS开发中模型的建立及流程的管理和监控,实现了工作流管理系统的Petri 网建模.     

基于Petri网的工作流技术在MIS中的应用

工作流技术是计算机领域中的一门新兴技术,工作流技术支持的信息系统具有良好的适应性和灵活性。文中简要地介绍了WFMIS和基于Petri网的工作流模型,结合具体的实例,分析了WFMIS开发中模型的建立及流程的管理和监控,实现了工作流管理系统的Petri网建模。     

基于Petri网的工作流建模与分析

工作流和工作流管理系统的合理应用可大大提高办公自动化的程度。基于Petri网的建模方法具有坚实的理论基础和直观的图形表示，是工作流和工作流管理系统建模和分析的理想工具。文章先讨论基于Petri网的工作流模型的建立和分析，接着给出了该模型在高考招生系统(NACUES)中的应用实例。最后，还针对NACUES系统的分布式特性对该模型扩充了本地工作流间的通信和互操作特性，这一扩充将对分布式查询和招生工作后期各项数据的统计工作有很大的简化作用。     

基于工作流的高校学费管理系统研究

为实现高校学费管理业务流程的网络化、自动化,依据工作流管理系统参考模型,设计了轻量级工作流引擎,并提出基于该工作流引擎的高校学费管理系统解决方案.利用Petri网对一个典型的学费管理业务流程建模并分析所建模型的正确性.基于该工作流引擎的高校学费管理系统解决方案能够较好地满足实际应用的需要.     

基于Petri网的工作流过程建模

业务过程建模是整个工作流管理系统的基础,选择一种高效的建模技术对复杂多变的实际业务流程进行形式化表示对构建一个灵活的工作流管理系统起着至关重要的作用。本文利用了Petri网技术给业务过程建模,构造了一个灵活可分析的过程模型：首先介绍了相关的基于Petri网的工作流建模技术,接着描述了Petri网到工作流过程模型执行的映 射,然后给出了一个具体的基于Petri网建模方式的实例,最后利用随机Petri网和概率论的一些知识对该模型进行了时间性能分析。     

Petri网在工作流引擎中的应用分析

目前对工作流技术进行深入的研究对于提高企业的信息化程度、运行效率以及竞争能力都有重要的意义,而工作流引擎是整个工作流管理系统的核心。该文首先介绍了工作流引擎的定义和5个重要接口,以及Petri网的概念和建模优势。其次比较了Open WFE,jBpm,YAWL,Bossa等开源工作流引擎,指出基于Petri网调度算法的工作流引擎所具有的优势。在此基础上重点分析了Bossa引擎的调度算法,最后对Petri网在工作流引擎中的使用提出展望。     

基于Petri网的工作流建模与分析

工作流是一组有关联关系的工作项的集合,它模拟了企业业务过程中实际的或虚拟的工作步骤之间的关系,在实际业务过程中工作项之间除了顺序,分支,循环等关系外还有异步,并行,同步等关系,因此,工作流建模非常复杂,目前还没有一个专门的建模工具满足工作流建模的要求。Petri网是一种图形化的建模工具,具有坚实的数学理论基础。该文探讨和总结了基于Petri网的工作流建模方法,并在此基础上对工作流Petri网（WEPN）进行了分析。它是进一步对工作流进行全面诊断的基础。     

基于ECA规则的工作流建模实施方案

基于ECA规则的工作流系统能够充分利用数据库的安全、恢复，并发等成熟的技术进行建模，但ECA难于形式化，使得建模时不能够保证工作流系统的语义的正确性；而Petri网具有形式化描述的基础和正确性分析的优点，将这两方面结合起来，通过对Petri网中控制流结构的分析人出了由Petri网向ECA规则转化的方法，以保证基于ECA规则的工作流系统的正确性。     

基于Petri网的人力资源管理的模型设计

讨论了工作流管理系统中Petri网建模技术的基本特点，并利用Petri网建立了企业生产管理中人力资源管理的模型。该模型可作为工作流管理系统中的一个子模型，一旦企业的业务过程发生了变化，用户可通过面向对象的Petri网对业务过程的流程进行修改，修改后的流程将自动地应用在工作流管理系统中。此模型满足了企业建立特定资源模型的需要，实现了业务流程重组的要求，具有适用性和灵活性，为人力资源的自动化办公提供了方便。