Petri Nets Modelling for Control of Discrete Events Systems
Résumé
Usually, in an industrial context, the design of discrete control laws to drive manufacturing system is assumed off line. To decrease the conception time and increase the failures reactivity of the control system, the paper both presents a methodological approach of the controlled system modelling and a generic synthesis algorithm to automate the design of executable control laws.