Soundness Analysis of the Process of the Automatic Vending System Based on Petri Net
- 10.2991/ic3me-15.2015.163How to use a DOI?
- Petri net, data flow, control flow, soundness, automatic vending system
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.
- © 2015, the Authors. Published by Atlantis Press.
- Open Access
- This is an open access article distributed under the CC BY-NC license (http://creativecommons.org/licenses/by-nc/4.0/).
Cite this article
TY - CONF AU - Lina Chen AU - Xianwen Fang AU - Xiangwei Liu PY - 2015/08 DA - 2015/08 TI - Soundness Analysis of the Process of the Automatic Vending System Based on Petri Net BT - Proceedings of the 3rd International Conference on Material, Mechanical and Manufacturing Engineering PB - Atlantis Press SP - 853 EP - 858 SN - 2352-5401 UR - https://doi.org/10.2991/ic3me-15.2015.163 DO - 10.2991/ic3me-15.2015.163 ID - Chen2015/08 ER -