For the most recent entries see the Petri Nets Newsletter.

Decomposition of protocol ECMA.

Zaitsev, D.A.

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.


Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography