Protocol design and performance analysis for manufacturing message specification: A Petri net approach

The manufacturing message specification (MMS) is the ISO standard communication protocol specific to manufacturing. To analyze MMS design and performance, service unit automats are introduced to represent individual MMS services, while service connection Petri Nets (PNs) are constructed from these automats to describe MMS service connections and processes. This approach makes MMS protocol specification and analysis possible in terms of well-developed concepts and methods in PN theory. It leads to a distributed and hierarchical model of MMS software system by integrating service connection PNs. A generalized stochastic PN for MMS performance evaluation is obtained by incorporating service parameters and time factors into the model. A technique based on T-invariants is used to simplify the performance analysis.< >