Workflow model based on colored and timed Petri nets

In order to adapt the complexity and omission of present work, and make the workflow more convenient for operation, it divides the workflow model into three sub models - process model, task flow model and resource model in this paper, which called process-task flow-resource model. Process model works for the general flow of the whole work using common Petri nets modeling, resource model is responsible for resource allocation with colored Petri nets, and task flow model adapts timed Petri nets modeling to formulate the task flow for specific work.