Petri Net Automatic Modeling Method Based on System Behavior Sequence

Abstract:

If you want to simulate and analyze a system by Petri net, you must construct a reliable and accurate Petri net model. Problem of constructing model by Petri net is discussed few at present. Petri net automatic modeling method based on system behavior sequence is presented. This method combines all the behavior sequences of system into the formal language expression. For different system, giving labeled function (giving the relationship between transition and system behaviors) can construct system Petri net model. To illustrate the algorithm, an example of constructing user Petri net model of telephone call service is given. This method has strong formalization and can be used universally. The model constructed by this method is standard and can realize computer automatic modeling. It makes progress in research of system modeling.

• Periodical: Applied Mechanics and Materials (Volumes 668-669)
• Pages: 499-507
• DOI: https://doi.org/10.4028/www.scientific.net/AMM.668-669.499
• Online since: October 2014
• Authors: Hao Fan, De Qin Shu, Liang Zhang
• Keywords: Modeling, Regular Expression, Standard Properly End Petri Nets, System Behavior Sequence

References

[1] Yan Wang, Hua Li and Jiantao Zhou. Study and design of graphic Petri nets analyzer based on maria, Proceedings of International conference on Energy Systems and Electrical Power. New York: Elsevier, 2011: 1133-1139.

[2] LIU Jing, YE Xin-ming, LI Jun, Towards Formal Modeling Methodology of BitTorrent Based on Petri Nets, Journal of System Simulation, 23(11), 2011: 2313-2320.

[3] Xu Gang, Wu Zhi Ming. Deadlocle Free Scheduling Strategy for Automated Production Cell. IEEE Transactions on Systerns, Man and Cybernetics, Part A, 2004, 34( 1): 113-122.

DOI: 10.1109/tsmca.2003.820573

[4] Guan Jun Liu, Chang Jun Jiang, Zhe Hui Wu, Li Jing Chen, A live subclass of petri nets and their application in modeling flexible manufacturing systems, The International Journal of Advanced Manufacturing Technology. Springer, March 2009, Volume 41, Issue 1-2, pp.66-74.

DOI: 10.1007/s00170-008-1457-x

[5] Peng Zhang, Mei Qi, Modeling Parallel MPI Programs in Petri Nets, Instrumentation, Measurement, Circuits and Systems Advances in Intelligent and Soft Computing, Springer, Volume 127, 2012, pp.829-836.

DOI: 10.1007/978-3-642-27334-6_98

[6] Cui Huanqing and Wu Zhehui. Structural Properties of Parallel Program's Petri Net Model, Journal of Computer Research and Development, 2007, 44(12)2130一2135.

DOI: 10.1360/crad20071220

[7] Yuan Chongyi. The Principles of Petri Net[M]. Beijing: Publishing House of Electronics Industry, 2005 (in Chinese).

[8] FAN Hao, WU Zhe-hui, Regular Expression and Standard Properly End Petri Nets, Computer Engineering, Computer Engineering, 33(17), (2007).