Title :
Hierarchical analysis of manufacturing systems using Petri nets
Author_Institution :
Dept. of Comput. Sci., Memorial Univ. of Newfoundland, St. John´´s, Nfld., Canada
Abstract :
Hierarchical analysis of manufacturing systems is performed in a top-down manner in which a general, approximate model is used to capture the main effects of component interconnections, while more detailed models of components provide the detailed information needed for the derivation of performance characteristics of the entire system. For Petri net models, this approach corresponds to stepwise refinements of models. Structural analysis, based on place invariants combined with simple net transformations, is used to obtain performance characteristics of the modeled systems
Keywords :
Petri nets; interconnected systems; production control; Petri nets; agile manufacturing; component interconnections; hierarchical analysis; manufacturing systems; modeled systems; net transformations; performance characteristics; place invariants; stepwise refinement; structural analysis; Computer aided manufacturing; Computer integrated manufacturing; Computer science; Flexible manufacturing systems; Manufacturing systems; Performance analysis; Petri nets; Predictive models; Reachability analysis; Refining;
Conference_Titel :
Systems, Man, and Cybernetics, 2000 IEEE International Conference on
Conference_Location :
Nashville, TN
Print_ISBN :
0-7803-6583-6
DOI :
10.1109/ICSMC.2000.884461
