Petri Net Based Object Behavior Modeling and Work Scheduling in Workflow

Abstract

In this paper, we take up two of the most serious technical problems aiming at the practical workflow implementation, namely, how to build up the model of workflow and how to set up and solve the optimum work-schedule problem. First, for precise dynamic modeling of workflow, we establish the timed Petri Net models which are converted from state transition models based on object-oriented modeling technique (OMT). Then, we define the optimum work scheduling problem on those timed Petri Net models and develop the solution of that problem depending on linear programming techniques. Further, we set up supplemental constraints for the linear programming to avoid resource conflicts between objects in workflow. Finally, we present the numerical calculation results of our practical studies in order to prove the feasibility and efficiency of our solution.