Towards a design methodology for flexible manufacturing systems command combining SA-RT and object Petri nets

This study deals with the design of a specification method of the FMS real-time command. This method is based on SA-RT (structured analysis for real time system) functional approach to which extensions are added; in fact, these extensions answer the limitations of the SA-RT method as regards the control specification. They concern the introduction of the interpreted Petri nets (IPN) and the object Petri nets (OPN) in the SA-RT method. This integration brings a greater abstraction of the specification methods and a better mastery of the FMS complexity. It also imposes specific rules for diagram formation. The model resulting from this integration is a formal description model. A specification approach has been defined. This approach is hierarchical and descending as it is the case for SA-RT method. However, it grows out of a pre-established command structuring model which is built up from the physical structure of the FMS and is designed to make specification easier and to prepare a reliable transition of the functional specification towards an object oriented conception