Method for Composition of Two, Three and More Multistructural Petri Nets into Single Equivalent Control Model of Technological Process

Abstract

This paper proposes a new approach to the construction of control models of complex technological processes consisting of sub-processes (operations) presented in the form of models described in terms of differential structural modified Petri networks. Method implementation procedures are defined and implementation algorithm is described. Two types of composition are presented when implementing this construction approach: serial and parallel. This approach is recommended when obtaining a single control model by a complex technological process, if the operations implementing it are presented in terms of one mathematical apparatus, but in various modifications thereof. The Cartesian product of graphs modified under Petri nets taking into account their different structure and requirements to composition types is the basis for the offered approach. The offered approach - a composition method the multistructural of the modified Petri nets, provides increase in extent of synchronization of the technological operations making difficult technological process. The received managing models with use of the presented approach provide required extent of synchronization at the smallest labor costs, the conversions caused by need the multistructural of the models making difficult technological process of operations to models of identical structure. The offered algorithm is illustrated on a specific example.