A top-down Petri net-based approach for dynamic workflow modeling

  • Authors:

  • Piotr Chrzastowski-Wachtel;Boualem Benatallah;Rachid Hamadi;Milton O'Dell;Adi Susanto

  • Affiliations:

  • Institute of Informatics, Warsaw University, Warszawa, Poland and Polish-Japanese Institute of Information Technology, Warszawa, Poland;Schoolof Computer Science and Engineering, The University of New South Wales, Sydney, NSW, Australia;Schoolof Computer Science and Engineering, The University of New South Wales, Sydney, NSW, Australia;Justwin Technologies Pty Ltd, North Sydney, NSW, Australia;Schoolof Computer Science and Engineering, The University of New South Wales, Sydney, NSW, Australia

  • Venue:
  • BPM'03 Proceedings of the 2003 international conference on Business process management
  • Year:
  • 2003

Quantified Score

Hi-index 0.00

Visualization

Abstract

A top-down approach for workflow design is proposed in the framework of Petri net theory. Simple but powerful refinement rules are proposed that guarantee soundness of the resulting workflow nets. The refinement process supports the definition of regions, which are parts of the workflow that correspond to logistically related items. Exception handlers can be associated to regions. Defining regions helps determining the impact areas of the unexpected events during workflow execution.