Integration of operating modes in the control of flexible manufacturing systems combining synchronous and asynchronous approaches
C. Ausfelder, Lyes Kermad, J.P. Maik, J.C. Gentina, David Delfieu, R. Moisand, A.E.K. Sahraoui · 2002
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.>