Title :
Modeling, Validation and Realization of MMS Inner Module Based on Petri Nets
Author :
Zheng, Li ; Yongli, Zhu ; Jinlei, Qin
Author_Institution :
Dept. of Comput. Sci. & Eng., North China Electr. Power Univ. (NCEPU), Baoding, China
Abstract :
Manufacturing message specification (MMS) is a set of communication protocols used in industrial control system. The petri nets model of domain management was established, and analysis of reachability and invariability was completed, which was used to validate the rationality and validity of the model. In addition, MMS communication service was implemented under the C/S mode through establishing MMS environment. Results show that the using of Petri nets is superior to other ordinary approach.
Keywords :
Petri nets; computer networks; industrial control; message passing; protocols; reachability analysis; C/S mode; MMS communication service; MMS inner module; Petri nets; communication protocols; domain management; industrial control system; manufacturing message specification; reachability; Application software; Computer aided manufacturing; IEC standards; ISO standards; Industrial control; Object oriented modeling; Petri nets; Power system reliability; Protocols; Technology management;
Conference_Titel :
Information Technology and Applications, 2009. IFITA '09. International Forum on
Conference_Location :
Chengdu
Print_ISBN :
978-0-7695-3600-2
DOI :
10.1109/IFITA.2009.529
