In: Proc. IEEE Int. Conf. on Systems, Man and Cybernetics, 2-5 October 1994, San Antonio, TX, pages 1328-1333. 1994. Available at ftp://ftp.cs.mun.ca/pub/publications/94-ICSMC.ps.Z.
Abstract: It is shown that a large class of flexible manufacturing cells can be modeled by timed Petri nets. Several net transformations are proposed to simplify the structure of the modeling nets while preserving their performance properties. The throughput of the model can be obtained by applying simple rules of operational analysis to simplified nets. Several extensions of the proposed approach are also indicated.
Keywords: invariant analysis, manufacturing cells, throughput analysis, timed Petri nets.