Title :
Integration of operating modes in the control of flexible manufacturing systems combining synchronous and asynchronous approaches
Author :
Ausfelder, C. ; Kermad, L. ; Maik, J.P. ; Gentina, J.C. ; Delfieu, D. ; Moisand, R. ; Sahraoui, A.E.K.
Author_Institution :
Lab. d´´Autom. et Inf. Ind. de Lille, Ecole Centrale de Lille, Villeneuve d´´Ascq, France
Abstract :
An approach to specify the operating modes of a reactive system is proposed in this paper. The reactive system is specified with asynchronous models as Petri nets (PN); the operating modes are specified with synchronous models: state charts (SC). The approach is extended with a software engineering framework by integrating the functional aspects rarely explicitly specified in the design of reactive manufacturing systems. A case study is presented using StateMate CASE tool. The overall work is a first approach combining synchronicity and asynchronicity
Keywords :
Petri nets; computer aided software engineering; flexible manufacturing systems; Petri nets; StateMate CASE tool; asynchronous approach; asynchronous models; flexible manufacturing systems; functional aspects; reactive system; software engineering framework; state charts; synchronous approach; synchronous models; Control systems; Electrical equipment industry; Fault detection; Flexible manufacturing systems; Manufacturing industries; Monitoring; Petri nets; Production systems; Software engineering; Timing;
Conference_Titel :
Systems, Man and Cybernetics, 1993. 'Systems Engineering in the Service of Humans', Conference Proceedings., International Conference on
Conference_Location :
Le Touquet
Print_ISBN :
0-7803-0911-1
DOI :
10.1109/ICSMC.1993.384876
