In: Proc. IFAC Conf. on Control Systems Design (CSD'2000), 18-20 June 2000, Bratislava, Slovak Republic, pages 287-292. 2000.
Abstract: Hierarchical models of manufacturing systems can be derived systematically by replacing simple components of the model by their more detailed representations. In order to model concurrent activities and interactions of different components of such systems, Petri nets are used as the modeling platform with a formally defined operation of net refinements. The durations of modeled activities are represented by timing information associated with transitions of the model. Structural analysis is used to derive the basic performance measures, such as throughput or cycle time. Simple examples of modeling and performance analysis of the derived models are included.
Keywords: Petri nets, hierarchical modeling, manufacturing systems, net refinements.