Abstract:In order to make up the deficient of model verification in enterprise application

a new method aiming at application system is proposed based on the state of art in the research filed of business process modeling and verification By use of analysis principle of petri-net

the idea for business process verification is deduced based on petri-net characters such as incidence matrix，home state

transition sequence

and a problem-solving algorithm through the invariants of petri-net is well formed. Experiments are designed

and the proposed algorithm is tested in both theory analysis and application simulation perspective

which proves the effectiveness of the algorithm by comparison of two perspective output. Moreover

efficiency performance tests are carried out to confirm that

the method of this paper is better than coverage graph and causality methods. Finally

a tool package is developed according to the algorithm

the application capability of which is displayed in practice. Therefore

it can be concluded that

the verification algorithm presented is reasonable and efficiency

which is suit for practice using.