The application of Petri nets to workflow management

被引：1485

作者：

Van der Aalst, WMP ^{[1
]}

机构：

[1] Eindhoven Univ Technol, Dept Math & Comp Sci, NL-5600 MB Eindhoven, Netherlands

来源：

JOURNAL OF CIRCUITS SYSTEMS AND COMPUTERS | 1998年 / 8卷 / 01期

关键词：

D O I：

10.1142/S0218126698000043

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

Workflow management promises a new solution to an age-old problem: controlling, monitoring, optimizing and supporting business processes. What is new about workflow management is the explicit representation of the business process logic which allows for computerized support. This paper discusses the use of Petri nets in the context of workflow management. Petri nets are an established tool for modeling and analyzing processes. On the one hand, Petri nets can be used as a design language for the specification of complex workflows. On the other hand, Petri net theory provides for powerful analysis techniques which can be used to verify the correctness of workflow procedures. This paper introduces workflow management as an application domain for Petri nets, presents state-of-the-art results with respect to the verification of workflows, and highlights some Petri-net-based workflow tools.

引用

页码：21 / 66

页数：46

共 40 条

[11]

Desel Jorg, 1995, CAMBRIDGE TRACTS THE, V40

[12]

Ellis C., 1995, Conference on Organizational Computing Systems, P10, DOI 10.1145/224019.224021

[13]

Esparza J., 1990, LECT NOTES COMPUTER, V483, P210

[14]

ESPARZA J, 1990, LECT NOTES COMPUT SC, V458, P182

[15]

Gostelow Kim, 1972, ACM SIGPLAN, V7, P15

[16]

HAUSCHILDT D, 1997, 9712 EINDH U TECHN

[17]

HAYES K, 1991, WORKFLOW MANAGEMENT

[18]

JENSEN K, 1996, EATCS MONOGRAPHS THE

[19]

JOOSTEN S, 1994, P CON 94 WORKFL MAN, P236

[20]

Koulopoulos T. M., 1995, WORKFLOW IMPERATIVE

← 1 2 3 4 →