A four dimensional petri net approach for workflow management

Authors:
Ping-Yu Hsu;Yen-Liang Chen;Yuan-Bin Chang
Affiliations:
Department of Business Administration, National Central University, Jhongli City, Taoyuan, Taiwan;Department of Information Management, National Central University, Jhongli City, Taoyuan, Taiwan;Department of Information Management, National Central University, Jhongli City, Taoyuan, Taiwan
Venue:
DASFAA'06 Proceedings of the 11th international conference on Database Systems for Advanced Applications
Year:
2006

Citing 6
Cited 0

Timing Constraint Petri Nets and Their Application to Schedulability Analysis of Real-Time System Specifications

IEEE Transactions on Software Engineering
Petri Net Theory and the Modeling of Systems

Petri Net Theory and the Modeling of Systems
On Resource Arc for Petri Net Modelling of Complex Resource Sharing System

Journal of Intelligent and Robotic Systems
Modeling workflow processes with colored Petri nets

Computers in Industry
Task planning and project management using Petri nets

ISATP '95 Proceedings of the 1995 IEEE International Symposium on Assembly and Task Planning
Timing constraint workflow nets for workflow analysis

IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans

Quantified Score

Hi-index	0.00

Visualization

Abstract

Workflow management is a fast evolving technology which can support business process reengineering and realize the full or partial automatic process of a business. A formal model of workflow should contain at least four major dimensions: the process, resource, case and time dimensions. Although much research has been devoted to this subject, to the best of our knowledge, no existing research is able to model workflow with the four dimensions at the same time. In this paper, a formal model, named as WF-RAPN (A Resource Assignment Petri Net for Workflow Management) is shown. The model extends traditional Petri Nets with resource assignments and case handling. To guarantee that resources are correctly consumed and execution time of each case is soundly calculated in the modeled processes, a formal set of WF-RAPN composition rules are designed and the proof of the correctness is also shown in the paper.