Proceedings of the 3rd International Conference on Material, Mechanical and Manufacturing Engineering

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

Authors
Lina Chen, Xianwen Fang, Xiangwei Liu
Corresponding Author
Lina Chen
Available Online August 2015.
DOI
https://doi.org/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.
Open Access
This is an open access article distributed under the CC BY-NC license.

Download article (PDF)

Proceedings
3rd International Conference on Material, Mechanical and Manufacturing Engineering (IC3ME 2015)
Part of series
Advances in Engineering Research
Publication Date
August 2015
ISBN
978-94-6252-100-1
ISSN
2352-5401
DOI
https://doi.org/10.2991/ic3me-15.2015.163How to use a DOI?
Open Access
This is an open access article distributed under the CC BY-NC license.

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  - 3rd International Conference on Material, Mechanical and Manufacturing Engineering (IC3ME 2015)
PB  - Atlantis Press
SN  - 2352-5401
UR  - https://doi.org/10.2991/ic3me-15.2015.163
DO  - https://doi.org/10.2991/ic3me-15.2015.163
ID  - Chen2015/08
ER  -