Abstract
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.
Similar content being viewed by others
References
Ambartsumyan, A.A., Modeling and Synthesis of Supervisory Control Based on Petri Nets for Distributed Objects. I. InteractionMechanism and the Basic Method, Autom. Remote Control, 2011, vol. 72, no. 8, pp. 1718–1734.
Cassandras, C.G. and Lafortune, S., Introduction to Discrete Event Systems, Dordrecht: Kluwer, 2008.
Petrson, J.L., Petri Net Theory and the Modeling of Systems, Englewood Cliffs: Prentice-Hall, 1981.
Ambartsumyan, A.A., Supervisory Control of the Structured Dynamic Discrete-Event Systems, Autom. Remote Control, 2009, vol. 70, no. 8, pp. 1406–1424.
Lazarev, V.G. and Piil’, E.I., Sintez upravlyayushchikh avtomatov (Synthesis of Control Automata), Moscow: Energoatomizdat, 1989.
Ambartsumyan, A.A. and Tomilin, E.E., Supervisor Direct Synthesis Method for a Structured Discrete Dynamical System, Autom. Remote Control, 2010, vol. 71, no. 8, pp. 1661–1679.
Author information
Authors and Affiliations
Additional information
Original Russian Text © A.A. Ambartsumyan, 2011, published in Avtomatika i Telemekhanika, 2011, No. 9, pp. 173–189.
Rights and permissions
About this article
Cite this article
Ambartsumyan, A.A. Modeling and Synthesis for supervisory control on Petri nets for distributed objects. II. A supervisor synthesis method for a set of general form sequences. Autom Remote Control 72, 1951–1966 (2011). https://doi.org/10.1134/S0005117911090165
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1134/S0005117911090165