In: Proceedings of Odessa National Telecommunication Academy, no. 1, 2004. 2004. In Russian.
Abstract: Verification of Ethernet protocols represented with Petri nets is implemented. Natural decomposition of Petri net into functional subnets defined by model construction rules is used. Invariantness of models with an arbitrary number of workstations is proved on the base of invariantness of separate workstation model that is functional subnet.
Keywords: Telecommunication protocol; Petri net; Invariant; Composition; Functional subnet.