Title :
From modelling using function charts for control systems to analysis using Petri nets
Author :
El Rhalibi, A. ; Prunet, F. ; Durante, C.
Author_Institution :
LIRMM, Univ. des Sci. et Tech. du Languedoc, Montpellier, France
Abstract :
A technical process is the controlled flow of matter energy, and/or information. As opposed to the widely investigated continuous control, this paper concentrates on event-related control modelling and validation. In this case, process and related process control can be described by steps and transitions which can be represented very concisely by a Functions Charts for Control Systems model (Grafcet in French). 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 design and analysis
Keywords :
Petri nets; control system analysis; discrete event simulation; discrete event systems; process control; Grafcet model; Petri nets; control systems; event-related control modelling; event-related process control; function charts; rigid mathematical tool; Automatic control; Control system analysis; Control system synthesis; Control systems; IEC standards; Petri nets; Power system modeling; Process control; Process design; Sensor phenomena and characterization;
Conference_Titel :
Modeling, Analysis, and Simulation of Computer and Telecommunication Systems, 1995. MASCOTS '95., Proceedings of the Third International Workshop on
Conference_Location :
Durham, NC
Print_ISBN :
0-8186-6902-0
DOI :
10.1109/MASCOT.1995.378661