Method of translation from workflow process model to workflow-net

In order to facilitate the Workflow (WF) modeling by laypeople, a method of workflow process modeling based on Unified Modeling Language (UML) activity diagram was proposed. The existing computing method of Petri net was utilized to analyze the validity of workflow model and calculate its performances. The translation method from UML activity diagram to WF-net was discussed, including translation of all kinds of states, decision, control flow, object, object flow, etc. Therefore, the users could build workflow model easily through UML activity diagram, and the correctness analysis and performance calculation of workflow model could be accomplished through the methods offered by Petri net. A civil airport computer information management system was discussed as an example, and its translation result was analyzed.