Supervisory design using Petri nets
- 9 December 2002
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
A Petri net model is described that is consistent with the control theory for discrete event systems. The purpose is to apply the theoretical approach of supervisory control to a model that permits an efficient solution of the control problem. The focus is at the model level. The authors show how Petri nets may be used to design a supervisor. The design requires two steps. In the first step, a coarse structure for a supervisor is synthesized by means of a concurrent composition of different modules. In the second step, the structure is refined to avoid reaching forbidden markings. The refinement procedure may always be applied when the net is conservative. In both steps, the use of Petri nets allows the structure of the model to be small.Keywords
This publication has 13 references indexed in Scilit:
- Analysis and control of discrete event systems represented by petri netsPublished by Springer Nature ,2006
- Synthesis of feedback control logic for a class of controlled Petri netsIEEE Transactions on Automatic Control, 1990
- Easy synchronized Petri nets as discrete event modelsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1990
- Petri nets: Properties, analysis and applicationsProceedings of the IEEE, 1989
- The control of discrete event systemsProceedings of the IEEE, 1989
- Some tractable supervisory control problems for discrete-event systems modeled by Buchi automataIEEE Transactions on Automatic Control, 1989
- Control of large discrete event systems: constructive algorithmsIEEE Transactions on Automatic Control, 1989
- A Control Theory for Discrete-Event SystemsPublished by Springer Nature ,1988
- On the Supremal Controllable Sublanguage of a Given LanguageSIAM Journal on Control and Optimization, 1987
- Supervisory Control of a Class of Discrete Event ProcessesSIAM Journal on Control and Optimization, 1987