Title :
Analysis of function charts for control systems using Petri nets
Author :
Rhalibi, A. El ; Prunet, F. ; Durante, C.
Author_Institution :
LIRMM, Univ. des Sci. et Tech. du Languedoc, Montpellier, France
Abstract :
As opposed to the widely investigated continuous control, this paper concentrates on event-related control modelling and validation. In this case, the process and related process control can be described by steps and transitions, which can be represented very concisely by function charts for control systems model (Grafcet). As it is difficult to validate the Grafcet model, we propose to transform a Grafcet in Petri net model that is a rigid mathematical tool, and which can be used for a very general approach to event-related process control in specification, checking, debugging, and evaluating performance of any given process control system.<>
Keywords :
Petri nets; control system synthesis; control systems; discrete event simulation; discrete event systems; process control; Grafcet model; Petri nets; control system design; control systems model; debugging; discrete event system modelling; event-related control modelling; function charts; performance evaluation; process control; Communication standards; Control system synthesis; Control systems; Discrete event systems; IEC standards; Information analysis; Mathematical model; Petri nets; Process control; Standards development;
Conference_Titel :
Emerging Technologies and Factory Automation, 1994. ETFA '94., IEEE Symposium on
Conference_Location :
Tokyo, Japan
Print_ISBN :
0-7803-2114-6
DOI :
10.1109/ETFA.1994.401988
