Specification and modeling of Flexible Manufacturing Systems using behaviours and Petri Nets building blocks

This paper deals,vith the definition of a general approach to the modeling and the analysis of Flexible Manufacturing Systems (FMSs). it puts together a trace-based formal specification method and a compositional Petri Nets (PN) approach with predefined building blocks, leading to a unified framework whose goals are to cope with the complexing of the FMSs behaviours and constraints, and provide a practical engineering means to translate behaviours into PN libraries. The P-invariants of the resulting model are used to obtain a reduced net of the system which points out the resources availability rather than the behaviours of the system components.