Specification and modeling of flexible manufacturing systems using behaviours and Petri nets building blocks

Deals with 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 complexity 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.