Petri Net Theory and the Modeling of Systems
Petri Net Theory and the Modeling of Systems
Specification of the Transport Service Using Numerical Petri Nets
Proceedings of the IFIP WG6.1 Second International Workshop on Protocol Specification, Testing and Verification
| Hi-index | 0.00 |
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.