Modeling and analysis of workflows using Petri Nets

Nabil R. Adam, Vijayalakshmi Atluri, Wei Kuang Huang

Research output: Contribution to journalArticle

248 Citations (Scopus)

Abstract

A workflow system, in its general form, is basically a heterogeneous and distributed information system where the tasks are performed using autonomous systems. Resources, such as databases, labor, etc. are typically required to process these tasks. Prerequisite to the execution of a task is a set of constraints that reflect the applicable business rules and user requirements. In this paper we present a Petri Net (P N) based framework that (1) facilitates specification of workflow applications, (2) serves as a powerful tool for modeling the system under study at a conceptual level, (3) allows for a smooth transition from the conceptual level to a testbed implementation and (4) enables the analysis, simulation and validation of the system under study before proceeding to implementation. Specifically, we consider three categories of task dependencies: control flow, value and external (temporal). We identify several structural properties of P N and demonstrate their use for conducting the following type of analyses: (1) identify inconsistent dependency specifications among tasks; (2) test for workflow safety, i.e. test whether the workflow terminates in an acceptable state; (3) for a given starting time, test whether it is feasible to execute a workflow with the specified temporal constraints. We also provide an implementation for conducting the above analyses.

Original languageEnglish (US)
Pages (from-to)131-158
Number of pages28
JournalJournal of Intelligent Information Systems
Volume10
Issue number2
DOIs
StatePublished - Mar 1 1998

Fingerprint

Petri nets
Specifications
Testbeds
Flow control
Structural properties
Information systems
Personnel
Industry

All Science Journal Classification (ASJC) codes

  • Software
  • Information Systems
  • Hardware and Architecture
  • Computer Networks and Communications
  • Artificial Intelligence

Keywords

  • Petri nets
  • Workflow analysis
  • Workflow modeling

Cite this

Adam, Nabil R. ; Atluri, Vijayalakshmi ; Huang, Wei Kuang. / Modeling and analysis of workflows using Petri Nets. In: Journal of Intelligent Information Systems. 1998 ; Vol. 10, No. 2. pp. 131-158.
@article{92d9b204fe9e48cfb8f84d5553a3448c,
title = "Modeling and analysis of workflows using Petri Nets",
abstract = "A workflow system, in its general form, is basically a heterogeneous and distributed information system where the tasks are performed using autonomous systems. Resources, such as databases, labor, etc. are typically required to process these tasks. Prerequisite to the execution of a task is a set of constraints that reflect the applicable business rules and user requirements. In this paper we present a Petri Net (P N) based framework that (1) facilitates specification of workflow applications, (2) serves as a powerful tool for modeling the system under study at a conceptual level, (3) allows for a smooth transition from the conceptual level to a testbed implementation and (4) enables the analysis, simulation and validation of the system under study before proceeding to implementation. Specifically, we consider three categories of task dependencies: control flow, value and external (temporal). We identify several structural properties of P N and demonstrate their use for conducting the following type of analyses: (1) identify inconsistent dependency specifications among tasks; (2) test for workflow safety, i.e. test whether the workflow terminates in an acceptable state; (3) for a given starting time, test whether it is feasible to execute a workflow with the specified temporal constraints. We also provide an implementation for conducting the above analyses.",
keywords = "Petri nets, Workflow analysis, Workflow modeling",
author = "Adam, {Nabil R.} and Vijayalakshmi Atluri and Huang, {Wei Kuang}",
year = "1998",
month = "3",
day = "1",
doi = "10.1023/A:1008656726700",
language = "English (US)",
volume = "10",
pages = "131--158",
journal = "Journal of Intelligent Information Systems",
issn = "0925-9902",
publisher = "Springer Netherlands",
number = "2",

}

Modeling and analysis of workflows using Petri Nets. / Adam, Nabil R.; Atluri, Vijayalakshmi; Huang, Wei Kuang.

In: Journal of Intelligent Information Systems, Vol. 10, No. 2, 01.03.1998, p. 131-158.

Research output: Contribution to journalArticle

TY - JOUR

T1 - Modeling and analysis of workflows using Petri Nets

AU - Adam, Nabil R.

AU - Atluri, Vijayalakshmi

AU - Huang, Wei Kuang

PY - 1998/3/1

Y1 - 1998/3/1

N2 - A workflow system, in its general form, is basically a heterogeneous and distributed information system where the tasks are performed using autonomous systems. Resources, such as databases, labor, etc. are typically required to process these tasks. Prerequisite to the execution of a task is a set of constraints that reflect the applicable business rules and user requirements. In this paper we present a Petri Net (P N) based framework that (1) facilitates specification of workflow applications, (2) serves as a powerful tool for modeling the system under study at a conceptual level, (3) allows for a smooth transition from the conceptual level to a testbed implementation and (4) enables the analysis, simulation and validation of the system under study before proceeding to implementation. Specifically, we consider three categories of task dependencies: control flow, value and external (temporal). We identify several structural properties of P N and demonstrate their use for conducting the following type of analyses: (1) identify inconsistent dependency specifications among tasks; (2) test for workflow safety, i.e. test whether the workflow terminates in an acceptable state; (3) for a given starting time, test whether it is feasible to execute a workflow with the specified temporal constraints. We also provide an implementation for conducting the above analyses.

AB - A workflow system, in its general form, is basically a heterogeneous and distributed information system where the tasks are performed using autonomous systems. Resources, such as databases, labor, etc. are typically required to process these tasks. Prerequisite to the execution of a task is a set of constraints that reflect the applicable business rules and user requirements. In this paper we present a Petri Net (P N) based framework that (1) facilitates specification of workflow applications, (2) serves as a powerful tool for modeling the system under study at a conceptual level, (3) allows for a smooth transition from the conceptual level to a testbed implementation and (4) enables the analysis, simulation and validation of the system under study before proceeding to implementation. Specifically, we consider three categories of task dependencies: control flow, value and external (temporal). We identify several structural properties of P N and demonstrate their use for conducting the following type of analyses: (1) identify inconsistent dependency specifications among tasks; (2) test for workflow safety, i.e. test whether the workflow terminates in an acceptable state; (3) for a given starting time, test whether it is feasible to execute a workflow with the specified temporal constraints. We also provide an implementation for conducting the above analyses.

KW - Petri nets

KW - Workflow analysis

KW - Workflow modeling

UR - http://www.scopus.com/inward/record.url?scp=0032027597&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0032027597&partnerID=8YFLogxK

U2 - 10.1023/A:1008656726700

DO - 10.1023/A:1008656726700

M3 - Article

AN - SCOPUS:0032027597

VL - 10

SP - 131

EP - 158

JO - Journal of Intelligent Information Systems

JF - Journal of Intelligent Information Systems

SN - 0925-9902

IS - 2

ER -