PETRI MODELS PROGRAM GENERATOR OF TRIANGULAR COMMUNICATION GRIDS

Abstract

This paper presents a Petri models program generator of communication triangular grids of arbitrary size for verification of telecommunication systems protocols with a triangular cell. Petri models program generator written on the algorithmic language C, Petri nets parametric description is used for generation of grid models, which is based on the basic characteristics of the model, such as the grid size, the buffer capacity of the switch, the number of messages in each buffer switch. The basic element of the grid contains three ports, which operating in full duplex mode, the destination ports are differed in model, introduced mandatory buffering and the size of the internal buffer has limit size. Type of output format of generated file for further investigation of the grid is presented in a Tina modeling system graphical format. The technique can be used in a wide range of applications of Petri nets, including manufacturing systems, telecommunications and programming.