Petri Net Theory and the Modeling of Systems
Petri Net Theory and the Modeling of Systems
Supervisory control of the structured dynamic discrete-event systems
Automation and Remote Control
Supervisor direct synthesis method for a structured discrete dynamical system
Automation and Remote Control
Introduction to Discrete Event Systems
Introduction to Discrete Event Systems
| Hi-index | 0.00 |
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.