Modeling and analysis of workflows using Petri Nets

Nabil R. Adam, Vijayalakshmi Atluri, Wei Kuang Huang

Research output: Contribution to journalArticle

252 Scopus citations


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
Issue number2
StatePublished - Mar 1 1998

All Science Journal Classification (ASJC) codes

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


  • Petri nets
  • Workflow analysis
  • Workflow modeling

Fingerprint Dive into the research topics of 'Modeling and analysis of workflows using Petri Nets'. Together they form a unique fingerprint.

  • Cite this