Структурный анализ сетей Петри

Информационные технологии. 2016. Т. 22. № 1. С. 3–13.

Kulagin V., Дубинин В. Н.

In this article we propose a new formalism — the structure of Petri nets (PN-structure) designed to study the models of complex systems. Structures or lattices are called partially ordered set in which any two elements there is a precise accurate lower and upper faces. In this paper we use the term "structure". Typed operations transformation Petri nets (PN) designed for the analysis and synthesis of new JV structures. It is shown that the introduced operations, allows us to decompose any SP into many linear or linearcyclic fragments (LF), which simultaneously will be treated as a class of automata Petri nets and class synchronization Petri nets. Presents operations only allow you to analyze structural properties of the JV, while there are a number of studies in which the analysis of behavioral properties of the PN. Describes the properties of PN-structures, introduced quasimatrices space structures PN. In the space of the PN-structures entities set multiple functions of evaluation, which introduced a system of scales, allowing a quantification of the properties of PN-structures. A distinctive feature of this formalism is an effective combination of properties of the device in PN with the possibilities of the theory of structures. The practical application of the proposed methods of analysis and synthesis of PN is demonstrated by the classic example of two ejectors designed to transport parts. Showing the procedure of the synthesis of alternative options PN-models of the system of ejectors, showing their advantages and disadvantages, as well as a quantitative assessment of model structures with the display in the selected coordinate systems.

Keywords: математическое моделирование, сложные системы, сети Петри, параллельные и распределенные вычисления и системы, теория структур