Abstract
Petri net is a widely applied tool, and is very efficient in the area of network protocol modeling. A method for modeling and simulating Modbus protocol is proposed in the paper based on Petri net. According to the Modbus protocol data frame state machine, the corresponding Petri net structure model is presented. The Petri model is described with Petri net graphics and formal language. Meanwhile, and the Petri net reachability graph analysis method is applied to analyze the Petri net model of Modbus protocol, the properties of Modbus protocol model is verified. This modeling method has both good intuitiveness and reliability analysis for Modbus protocol.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Zhang, T., Zhang, X., Zhang, X.G.: Petri net modeling for wireless network security protocol Kerberos. Softw. Guide (2017)
Lan, L., Zhang, Y.: Vulnerability analysis of railway time synchronization network protocol based on stochastic Petri net. J. China Railw. Soc. 39, 85–92 (2017)
Zhou, L., Li, R., Hu, B.: Performance analysis for token-passing networks using Petri nets. J. China Inst. Commun. (1990)
Lu, J.: Modeling and research of CAN bus based on DSPN. J. Yanshan Univ. (2008)
Li, Z., Li, R.: GSPN modeling and performance analysis methods of computer networks. Microcomput. Dev. (1995)
Yuan, W.B., Hong, B., You, W.F., et al.: Research and application of Modbus/TCP communication on S7-PLC. Comput. Eng. Design (2014)
Niu, B.: Research on vulnerability excavation design based on Modbus industrial control protocol. China Energy Environ. Prot. (2017)
Yan, H.H., Wang, X.H., Tong, W.M.: Modbus technology and node development. Tech. Autom. Appl. (2006)
Wu, L., Wang, C., Hong, Z., et al.: Overview on protocol state machine inference: a survey. Appl. Res. Comput. (2015)
Cai, J.: Method of protocol validation by using Petri network model. Microcomput. Appl. (2016)
Hua, Z.: Petri-Net and its application for the protocol of communication. Comput. Eng. (1985)
Zhou, B.S., Hong, L.I.: The application of colored Petri nets in communication protocol. Acta Simulata Systematica Sinica (2003)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2019 Springer Nature Singapore Pte Ltd.
About this paper
Cite this paper
Guo, L., Yang, X., Song, Y. (2019). Simulation and Modeling of Modbus Protocol Based on Petri Net. In: Sun, F., Liu, H., Hu, D. (eds) Cognitive Systems and Signal Processing. ICCSIP 2018. Communications in Computer and Information Science, vol 1006. Springer, Singapore. https://doi.org/10.1007/978-981-13-7986-4_45
Download citation
DOI: https://doi.org/10.1007/978-981-13-7986-4_45
Published:
Publisher Name: Springer, Singapore
Print ISBN: 978-981-13-7985-7
Online ISBN: 978-981-13-7986-4
eBook Packages: Computer ScienceComputer Science (R0)