In: Proc. 9th Symp. on Information Control in Manufacturing (INCOM'98), 24-26 June 1998, Nancy-Metz, France, pages 423-428. 1998. Available at ftp://ftp.cs.mun.ca/pub/publications/98-INCOM.ps.Z.
Abstract: An approach to systematic derivation of schedules for manufacturing cells is presented. The approach is based on model refinements in which simple model elements are replaced by more detailed submodels. For manufacturing cells, the refinements are used to introduce additional machines into a cell. The hierarchy of schedules is derived starting from a very simple cell, and increasing the complexity of schedules in consecutive steps. Timed Petri nets are used to represent the schedules and the refinements of models.
Keywords: hierarchical modeling, manufacturing cells, manufacturing systems, timed Petri nets, transition refinements.