In: Proc. IEEE Int. Conf. on Systems, Man, and Cybernetics (SMC'99), 12-15 October 1999, Tokyo, Japan, Vol. 3, pages 775-780. 1999.
Abstract: Composite schedules for manufacturing cells (or robotic cells) are schedules in which several parts enter and leave the cell in each cycle (although the parts which leave the cell are not necessarily the same as the ones that enter the cell). It appears that composite schedules can easily be transformed into timed Petri net models in which the timed transitions represent the actions (including the durations) of the robot and the machines of the cell. Moreover, such models can be derived using stepwise refinements of net models. Hierarchical modeling is obtained by systematic application of the refinement steps.
Keywords: Petri nets, composite schedules, manufacturing cells, model refinements.