Modeling and synthesis for supervisory control on Petri nets for distributed objects. II. A supervisor synthesis method for a set of general form sequences

We propose an approach for supervisor synthesis in a Petri net constructed from a structured discrete event model of a distributed object. Our approach is an extension of a basic synthesis method proposed by the author earlier as part of the interaction mechanism. We consider different possibilities of the interaction between a distributed object's components and propose standard schemes for transferring this interaction in the supervisor net. The supervisor synthesis method is based on analyzing the trigger matrix and constructing components of the net based on this analysis. We study how the complexity of a Petri net synthesized by this method depends on the description length of the discrete event method and prove the corresponding bounds.

Presented by the member of Editorial Board: O. P. Kuznetsov