MFG (Mark Flow Graph) and PFS (Production Flow Schema) have been used successfully in the development of control architecture for manufacturing systems. This paper is concerned with the application of such modelling tools in the specification of FMS and FAS controllers for an integrated information systems approach. This work is being developed in the context of the ECLA FlexSys project, establishing a cooperative program between USP and IPK.
manufacturing systems integration, methodology for design, Petri nets