Analyzing Non-Determinism in Telecommunication Services Using P-Invariant of Petri-Net Model

The non-deterministic behaviors in telecommunication services are well-known as one of the most typical Feature Interactions, and they should be detected and eliminated from the telecommunication service specifications. The conventional analysis method of this nondeterminism is based on reachability analysis. Since the method must exhaustively enumerate all reachable global states, it cannot be applied to the complex communication services which include many users. In this paper, we propose an alternative method based on a Petri-net model. The method constructs a logically equivalent Petri-net for a given service specification, and obtains a set of states which cause the non-deterministic behaviors using rules in the service specification. Then, the method identifies states in the set which are not reachable from the initial state using P-invariant of the Petri-net, and deletes them from the set. As P-invariant is utilized as the necessary condition, we must finally apply reachability...

• Type: Conference
• Year: 1997
• Where: INFOCOM
• Authors: Masahide Nakamura, Yoshiaki Kakuda, Tohru Kikuno
• Keywords: Communications, INFOCOM 1997, Non-deterministic Behaviors, Reachability Analysis, Service Specification