欢迎使用CSDN-markdown编辑器

工作流与Petri网

摘要

工作流管理
    导入导出Markdown文件
    目标: 控制、监控、优化、支持商业流程。
    新内容: 计算机支持。
    本章说明: Petri网在工作流下的应用。

Petri网：
    定义: 已知的一个工具针对于建造和管理流程。
    功能:
        作为设计语言描述复杂的工作流。
        作为一个强大的工具验证工作流程序的正确性。
本文目的:
    介绍Petri网在工作流领域的应用，突出一些基于Petri网的工作流工具。

介绍

从前，信息系统被用来执行独立的任务们，今天它也应该支持商业流程。信息系统也需要控制，监控，支持
一个商业流程的逻辑方面。换句话说，信息系统要通过组织来管理工作流。许多有复杂流程的组织需要工作流的支持。
基于这个需要，工作流管理诞生了。

直到今日对工作流管理仍缺乏通用的工具，于是一些商业程序被硬编码进了程序中。例如，一个支持任务X的应用被触发来支持Y应用。
这就意味着一个应用知道另外一个应用的存在。这是不好的，因为每当一个被依赖的流程修改或，应用都需要被修改。并且，
相似的结构需要被实现在几个应用中以致于监控和控制整个工作流是不可能的。至此，一些软件供应商认识到工作流管理系统的重要性。

一个工作流管理系统(workflow management system (WFMS))是一个通用的软件工具用来定义，执行，注册和控制工作流程，
现在许多供应商都提供了工作流管理系统。

用 Petri 网来实现工作流模型的原因:

• 形式语义学: 工作流程在 Petri 网中有一个清晰明确的定义，因为经典 Petri 网的语义和几种附加项(时间等)都有明确的表示方法。
• 绘图性质: Petri网是一种绘图的语言，这意味着它能被直观的理解并且易于学习。
• 表现丰富：Petri网支持一个工作流所需要的所有基础元素，所有今日工作流管理系统需要的结构都能被支持。
• 理论可靠: 已经被无数人研究了几十年。
• 分析工具: 有很多分析Petri网的工具。
• 供应商支持: