Analysis of function charts for control systems using Petri nets

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