In: Proc. Int. Symp. on Software Engineering for Parallel and Distributed Systems, 17-18 May 1999, Los Angeles, CA, pages 110-123. 1999.
Abstract: This paper 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 behaviors and constraints, and provide a practical engineering means to translate behaviors 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 behaviors of the system components.
Keywords: Petri nets, flexible manufacturing systems.