Automated composition of Petri net models for cellular structures

Cellular networks are significant challenges for high performance data-intensive system designers due to their complexity. Being able to study features and designs before building the actual system is an advantage that a simulation model can offer. This paper presents a Petri net models program generator of communication hexagonal grids of arbitrary size for verification of telecommunication systems protocols with a hexagonal cell. Petri nets parametric description is used for automated composition of cellular grid models. The model, basic parameters are: the cellular grid size, the buffer capacity of the communication device, the number of packets in each device buffer. The basic element of the grid consists of internal buffer with the limited size and six ports, which operate in full duplex mode; the destination ports are chosen in nondeterministic way in the model. A program generator of Petri net models is written in the algorithmic language C. The output format type of generated file is represented as a Tina modeling system graphical format. The technique can be used in a wide range of Petri nets applications, including telecommunications, manufacturing systems and programming.