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

Volume

2

fYear

2009

fDate

15-17 May 2009

Firstpage

19

Lastpage

21

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Information Technology and Applications, 2009. IFITA '09. International Forum on

Conference_Location

Chengdu

Print_ISBN

978-0-7695-3600-2

Type

conf

DOI

10.1109/IFITA.2009.529

Filename

5231312