The methodology for constructing the linear and linear-cyclic basic fragments by means of decomposition of PN-model

Penza State University, Department of Computer Science, 440000 Penza Krasnaya 40, Russia

^a Corresponding author: dmitry.pashchenko@gmail.com

Abstract

This article gives a brief analysis of the subject area and the approaches to the analysis and synthesis of models of complex systems structures were discussed. A number of problems occurred; these problems can be effectively solved with using of the method generally considered in this article. This article describes an approach to the construction of a system of linear and linear-cyclic basic fragments as a part of the method for obtaining the equivalent PN-model with tensor methods by decomposition of initial one. The rules describing the implementation of the various stages of the construction of a system of linear and linear-cyclic base fragments were introduced. An alternative method of vertical division of transitions in the PN-structure was suggested, it allows saving all available links.