Research And Application On The Expended Petri Net Based Workflow Model

In order to determine convenient and practical workflow model in graph theory and the set theory,modeling technology based on the action network is introduced,has been given the oriented graph definition of action network in the Paper. The oriented graph may be further expanded the model semantics surely and be enhanced expression of model.The basic concept, the feature, the activeness,the static characteristic,the dynamic characteristic,the graph expression and the demonstration of Petri net and the expanded Petri net are discussed.The action network oriented graph to the expanded Petri net and to WFPN model again are given. The algorithm of transformed are studied. The rules of transforming four kinds of basic route of oriented graph to Petri net in modeling workflow are given. The algorithm concrete realization is explained with an example.The soundness verification of the expanded Petri net is given. The algorithm of soundness verification based on the free choice WFPN is given. And the complexity of its soundness verification algorithm is analyzed. The soundness verification of PN using the Petri net another subclass is proposed. The sequence structure rationality and the synchronization of WFPN is guaranteed in two aspects.Finally,WFPN rationality verification realization process is explained by the example based on two subclass.Finally,the topic research results are summarized,the further research aim and the forecast are proposed in base of author's research aims.