Reduction Rules of Graphical Representation in a Workflow Process Model

In this paper, we propose a set of reduction rules of graphical representation in a workflow process model called RTWD net. The concept of synchronization processes is introduced for reducing net structure, and an algorithm of abstracting synchronization processes is presented. We can clarify the main structure of RTWD net model through reduction rules and abstracting its synchronization processes. Finally, the feasibility of the method is illustrated by a case study.