A Method for Modeling Multi-task Workflow Based on High-Level Petri Nets

Workflow is an abstract depiction of a sequence of operations and the business rules of these operations. Workflow modeling represents the sequence and cooperation, and gives the patterns implemented by computer. Recently the parallel workflow pattern is one of the popular issues studied in workflow modeling. Workflow uses Petri nets as design language for complex workflow in concurrent systems. Petri nets are characterized by exact mathematical definition and intuitive graphical expression. To solve the problem of graph expansion of Petri nets in modeling workflow, the high-level Petri nets (HPN) expend the basic Petri nets by importing colored token, time and hierarchy. This paper proposes a method for modeling the multi-task workflow with high concurrency and automatic scheduling.