METHOD FOR TRANSFORMING MODELS OF TELECOMMUNICATION SYSTEMS REPRESENTED IN THE FORM OF PETRI NETS

Abstract

A method has been developed for transforming models of telecommunication systems represented in the form of infinite Petri nets into colored Petri nets. The method is designed for the evaluation of timed and probability characteristics of telecommunication networks. The base fragment of an infinite net is used as a graphic pattern for the formation of colored net, the further process of model transformation consists in detailing the attributes of network elements, using abstract data types and functions of the functional programming language CPN ML. The model is complemented by measuring fragments for the evaluation of performance and network quality of service. Based on the preliminary estimates of boundedness, liveness and safeness of systems implemented by analyzing infinite Petri nets, facilities for estimating the quantitative characteristics of the systems behavior are developed. The construction is performed using an example of model transformation for the rectangular computing grid. The application of colored nets allowed clarifying the numerical characteristics of grid blocking processes via a workload.