Modeling, Validation and Realization of MMS Inner Module Based on Petri Nets

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.