This paper deals with the use of Statecharts formalism, a recent automata-based language, to specify the control of automated manufacturing systems (AMS). Statecharts has been developed for the description of complex reactive systems; It provides high level constructs that facilitate carrying out large problems by a Graphical structured approach. The main features of the formalism are given in The introduction. A way to design the most important constructs and mechanisms Of a control field is proposed.
展开▼