Authors:
R. Bekrar
;
N. Messai
;
N. Essounbouli
;
A. Hamzaoui
and
B. Riera
Affiliation:
CReSTIC, IUT de Troyes, France
Keyword(s):
Forbidden state problem, Forbidden transitions sequences, Supervisory control, Discrete event systems, Petri Nets.
Related
Ontology
Subjects/Areas/Topics:
Discrete Event Systems
;
Informatics in Control, Automation and Robotics
;
Signal Processing, Sensors, Systems Modeling and Control
Abstract:
In this paper, we propose a control synthesis method for Discrete Event Systems (DES) modelled by a bounded ordinary Petri Nets (PN) to treat a forbidden state problem. The considered PN is transitions controllable and contains measurable and non measurable places. The PN controller is synthesised using the forbidden transitions sequences. The latter, are deduced from the PN reachability graph and considered as a forbidden language generated by the PN model. To show the efficiency of the proposed method an illustrative example is presented.