Abstract
This paper presents a Petri net (PN) model for Connection Management Services (CMS) of the Manufacturing Message Specification (MMS) which describes all possible sequences of service primitives that can occur during establishment, maintenance and termination of the connection and their relation at each service state. The PN model enables a complete and unambiguous specification to be derived for CMS. P-invariants and T-invariants analysis carried out on the connection PN provides useful information on the CMS behavior and specification for its implementation. It is claimed that PNs may offer a hierarchical mathematical description for the entire MMS protocol, a uniform representation for various level of abstraction of MMS protocol and an analytical model for protocol performance evaluation and analysis.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
