Generation of PN-Model Synthesis Programs with Restrictions

Abstract

The paper proposes a modified algorithm for generating programs for the synthesis of network models expressed in terms of Petri nets [8]. The algorithm is based on the use of boundedly growing strings and the ability to generate them in lexicographic order. To reduce the number of possible synthesis programs, the introduction of limiting conditions imposed on the set partition tree is considered. Taking into account the imposed restrictions, a new tree of smaller dimension is built, which also preserves the lexicographic order of the limitedly growing strings it contains. A comparative assessment of the effectiveness of a new algorithm for generating boundedly growing strings with restrictions and a standard algorithm without restrictions, which is described by D. Knuth, is given. The proposed algorithm can be used to solve problems of synthesizing models of complex computational structures, building parallel systems, parallelizing algorithms and solving other problems related to the creation of efficient distributed systems.