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

DOI

10.2991/ic3me-15.2015.163How to use a DOI?

Keywords

Petri net, data flow, control flow, soundness, automatic vending system

Abstract

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.

Copyright

© 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/).

Download article (PDF)

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  -