DrawNET++: Model Objects to Support Performance Analysis and Simulation of Systems
TOOLS '02 Proceedings of the 12th International Conference on Computer Performance Evaluation, Modelling Techniques and Tools
Hi-index | 0.00 |
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 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.