Soundness Analysis of the Process of the Automatic Vending System Based on Petri Net

Automatic vending system is being widely used, the system of business process was mainly related to data flow and control flow, so the soundness analysis for business processes of automatic vending system is more difficult. The existing research about the soundness analysis of the process model is mainly from the control flow of the business process, and the influence of the data flow on the soundness of the business model is less considered. In this paper, based on the data flow and control flow of Petri net to analysis the soundness of automatic vending system process, which can not only analyzing the soundness of business process Petri net model from the control flow, but also further strengthened the influence of the data flow for the judgment on the soundness of the business process. Combining the example analysis shows that the method has certain feasibility.