Research on Execution Mechanism of Modeling Method for Business Process Based on Petri Net

There are two kinds of nodes which are place nodes and transition nodes in an original Petri net, and this state leads to confusion in nodes management. Through theoretical analysis, modeling method for business process is proposed by merging the two kinds of nodes based on Petri net. Execution mechanism of the method is mainly studied. Using token, process instance can run quickly to navigate current node, and node's execution is set by transfer of the token. Cumbersome state maintenances are avoided in this way, furthermore, nodes become easier to implement and understand through the modeling method. The method is particularly feasibility when dealing with modeling business process of drawings design and approval.