Study on Model Validation of Logistics System Based on Petri Nets

Abstract:

Simulation is a better method than traditional analytic mathematics method for the analysis and description of complex logistics system, which can preview the result of decision and simulate the system operation process. But a accurate model is the foundation of it. All analytical studies of the system are based on the model. Unfortunately, it is an unsolved problem that how to evaluate and verify a model quality. The article add the mathematics analysis of model in modeling by object-oriented theory. It studies the conversion rules among the UML, OOPN and eM-Plant model. At last, a relative case is included to verify the feasibility.

• Periodical: Applied Mechanics and Materials (Volumes 195-196)
• Pages: 853-858
• DOI: https://doi.org/10.4028/www.scientific.net/AMM.195-196.853
• Online since: August 2012
• Authors: Guan Xiang Zhang, Shan He, Zhi Yong Zhang
• Keywords: EM-Plant, Logistics Simulation, Model Verification, UML-OOPN

References

[1] Xiao-juan Wang, Zhi-qiang Niu. OOPN-based Simulation and Optimization of Operation Process of Port Container Yard [J] . Logistics Technology . 2010(5) . PP48-51. (in Chinese).

[2] Yue-dong Du, Ai-hua Ren. The Design and Implementation of OOPN-based Multiprocessor Real-time Operating System [J]. Computer Engineering and Applications. 2001(12). PP104-107. (in Chinese).

[3] Li-wei Wan. UML-OOPN Modeling Method and its Application in Flexible Manufacturing System[J]. Microcomputer Information. 2007(1) . PP232-234. (in Chinese).

[4] Hai-yan Chen, Lin-riu Wan. Research on the UML/OOPN Integrated Modeling Technology[J]. Computer engineering &Science. 2005 . PP79-81. (in Chinese).

[5] Haifeng Zhang. Research and Realization of Vehicle scheduling of Vehicle Performance Test System based on OOPN. A Dissertation submitted for the Degree of Master. 2007(5). (in Chinese).

[6] Lei Xie. Modeling and Simulation of Shipbuilding Process Based on eM-Plant . A Dissertation Submitted to Shanghai Jiao Tong University for Master Degree. 2009(2). (in Chinese).

[7] Shu Liu, Zhi-pei Xu, Shun Xue, Yong-xian Chen. Research on Enterprise Facility Layout Based On EM_PLANT [J] . Mechanical Management and Development. 2009(10). PP35-37. (in Chinese).

[8] Thomas H. Naylor J. M. Finger James L. McKenney William E. Schrank Charles C. Holt VERIFICATION OF COMPUTER SIMULATION MODELS, Management Science , Vol. 14 No. 2, Applicion Series(Oct. 1967)，PPB92-B106.

[9] Osman Balci, VERIFICATIN, VALIDATION AND ACCREDITATION OF SIMULATION MODELS, Proceedings of the 1997 Winter Simulation Conference, PP135-141.

[10] Zhang Guanxiang, He Shan, Zhang Zhiyong. Process Modeling of AS /RS using UML – Petri Net". the 8th International Conference on Supply Chain Management and Information Systems. "(in Chinese).

[11] zhe-hui Wu. Petri nets introduction. BeiJing: China Machine Press. 2006(4). (in Chinese).