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.
