Warehouse Management System Model Based on Petri Net

Article Preview

Abstract:

This paper bases on Petri net theory and related technologies, and establishes Petri net model for warehouse management system, which not only verifies the correctness of the model but also uses Petri net analysis method to analyze the model, lays the foundation of information platform configuration and development.

You might also be interested in these eBooks

Info:

Periodical:

Pages:

1794-1805

Citation:

Online since:

September 2014

Authors:

Export:

Price:

Permissions CCC:

Permissions PLS:

Сopyright:

© 2014 Trans Tech Publications Ltd. All Rights Reserved

Share:

Citation:

[1] Germany Carl Adam Petr. Communication With Automata. [D]. PhD thesis. (1962).

Google Scholar

[2] Murata T. Petri nets, Properties, Analysis and Applications [J]. Proceedings of the IEEE, 1989, 77(4):541-577.

Google Scholar

[3] Zeng Qingtian, Wu Zhehui. A decomposition method of Petri net based on the index of places[J]. Computer Science, 2002, 29(4):15-23.

Google Scholar

[4] Adamski M, Wegrzyn M. Proceedings of the International Workshop on Discrete- Event System Design DESDes'01 [M]. Przytok: Technical University of Zielona Gora, (2001).

Google Scholar

[5] Pawlewski P. Petri Nets: Applications [M]. Vukovar, Croat-ia: In-Teh, (2010).

Google Scholar

[6] XU Shu-wei, REN Xiao-jin. Basic Petri Net: models, properties and analysis methods[J]. Journal of Jiaozuo Institute of Technology (Natural Science), Vol. 22, No. 5, Sep. 2003: 402-405.

Google Scholar

[7] Lv Xiaoming, Huang Kaoli, Lian Guangya. Modeling and Verifying for Parallel Test Task Process Based on Time[J]. Computer Measurement & Control. 2012. 20(5): 1310-1314.

Google Scholar