Supervisory design using Petri nets

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 Pe...

Full description

Saved in:
Bibliographic Details
Published inIEEE Decision and Control, 1991 pp. 92 - 97 vol.1
Main Authors Giua, A., DiCesare, F.
Format Conference Proceeding
LanguageEnglish
Published IEEE 1991
Subjects
Automata
Automatic control
Control theory
Discrete event systems
Explosions
Petri nets
Power system modeling
Spine
Supervisory control
Systems engineering and theory
Online AccessGet full text
ISBN0780304500
9780780304505
DOI10.1109/CDC.1991.261262

Cover

More Information
Summary: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.< >
ISBN:0780304500
9780780304505
DOI:10.1109/CDC.1991.261262