From modelling using function charts for control systems to analysis using Petri nets

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