In: Raditekhnika: All-Ukr. Sci. Interdep. Mag. 2004, no. 138, pages 130-137. 2004. In Russian.
Abstract: Decomposition of Petri net model of ECMA protocol into minimal functional subnets, left and right interconnecting systems, subnets of connection establishing and disconnecting is implemented. Invariantness of source model is proved on the base of established invariantness of functional subnets. Isomorphism of subnets has allowed calculate invariants in the process of consequent composition of net. Acceleration of computations with compositional methods of invariants construction was estimated.
Keywords: Telecommunication protocol; Petri net; Invariant; Decomposition; Functional subnet.