ICNPAA 2010: Mathematical Problems in
Engineering, Aerospace and Sciences

Currently, the need to represent the information needs is essential. One of the great difficulties that exist is to represent human behavior when it comes to Workflow. The purpose of Workflow Management Systems is to execute Workflow Processes. Workflow Processes represent the sequence of activities that have to be executed within an organization to treat specific cases and to reach a well-defined goal. Of all notations used for modeling Workflow Processes, Petri Nets are the most appropriate. Moreover, Petri nets can be used for specifying the real time characteristics of Workflow Management Systems (in the time Petri net case) and resource allocation mechanisms. The aim of this paper is to present a model of human resource allocation based on Petri nets to workflow management systems.