MODELING CUT-THROUGH SWITCHING BY INFINITE PETRI NETS

Abstract

The analysis of cut-through switching technology, using models built in the form of infinite Petri nets, has been implemented. A model of a communication device with cut-through switching was built. The communication rectangular grid of an arbitrary size was composed. Direct and dual parametric descriptions of Petri nets with a regular structure have been used for the specification of infinite systems of linear equations, computing invariants of Petri net places and transitions, verification of telecommunication systems protocols with a rectangular cell. It is shown that in the rectangular communication grids of an arbitrary size with a communication device that implements cut-through switching, there are mutual blockings of devices and complex deadlocks.