Methods for functional parallel processes implementation for network functions virtualization based on coloured petri nets

Abstract

Future communication networks are planned to be based on software-defined network technologies and network function virtualization, where orchestration is used for automatic placement, coordination and control of network resources at many levels. These technologies can provide broad capabilities for wideband satellite network architectures, providing flexibility, scalability, customization and cost savings. The aim of this work is to ensure the required quality of information and communication services by developing methods for implementing functionally parallel processes, distributing computing and network resources (physical and virtual) between processes, as well as means to prevent blocking. Based on the formalism of coloured Petri nets, models and methods for implementing functional parallel processes of the NTV protocol have been developed. The capabilities of the CPN Tools environment allow to perform step-by-step verification, analyze the probability-time parameters of the protocol, and based on the analysis of behavioral properties of the model, make a conclusion about the correctness of the NFV protocol. The research results can be used in the design and operation of communication networks that implement the concept of network function virtualization