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

fYear

1995

fDate

18-20 Jan 1995

Firstpage

389

Lastpage

393

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;

fLanguage

English

Publisher

ieee

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

Type

conf

DOI

10.1109/MASCOT.1995.378661

Filename

378661