Timed Petri nets in modeling and analysis of simple schedules for manufacturing cells

Zuberek, W.M. and Kubiak, W.

Journal of Computers and Mathematics with Applications, vol.37, no.11-12, pp.191-206, 1999.

Abstract:

It is shown that a large class of flexible manufacturing cells can be modeled using timed Petri nets. Net models of simple schedules (i.e., schedules in which exactly one part enters and one leaves the cell during each cycle) are conflict-free nets. Two complementary approaches to analysis of such models are presented: invariant analysis and throughput analysis. Invariant analysis provides analytic (or symbolic) solutions for the cycle time of a cell analyzing (invariant) subnets of the original net. Throughput analysis performs a series of performance-preserving net reductions to simplify the original model. Several directions for further research are indicated.

Keywords:

Flexible manufacturing systems, manufacturing cells, cell schedules, timed Petri nets, place invariants, performance evaluation.

References:

• Denning, P.J., Buzen, J.P.: "The operational analysis of queueing network models"; ACM Computing Surveys, vol.10, no.3, pp.225-261, 1978.
• Dixon, C., Hill, S.D.: "Work-cell cycle-time analysis in a flexible manufacturing system"; Proc. Pacific Conf. on Manufacturing, Sydney-Melbourne, Australia, vol.1, pp.182-189, 1990.
• Hack, M.: "Analysis of production schemata by Petri nets"; Project MAC Technical Report TR-94, 1972.
• Hillion, H.P.: "Timed Petri nets and application to multi-stage production system"; in Advances in Petri Nets 1989 (Lecture Notes in Computer Science 424); pp. 281-305, Springer-Verlag 1989.
• Jensen, K.: Coloured Petri nets - basic concepts, analysis methods and practical use; vol. 1, Springer-Verlag 1992.
• King, P.J.B.: Computer and communication systems performance modeling; Prentice-Hall 1990.
• Krueckeberg, F., Jaxy, M.: "Mathematical methods for calculating invariants in Petri nets"; in Advances in Petri Nets 1987 (Lecture Notes in Computer Science 266), G. Rozenberg (ed.), pp.104-131, Springer-Verlag 1987.
• Murata, T.: "Petri nets: properties, analysis and applications''; Proceedings of IEEE, vol.77, no.4, pp.541-580, 1989.
• Reisig, W.: Petri nets - an introduction (EATCS Monographs on Theoretical Computer Science 4); Springer-Verlag 1985.
• Sethi, S.P., Sriskandarajah, C., Sorger, G., Blazewicz, J., Kubiak, W.: "Sequencing of parts and robot moves in a robotic cell"; Int. Journal of Flexible Manufacturing Systems, vol.4, pp.331-358, 1992.
• Silva, M., Valette, R.: "Petri nets and flexible manufacturing"; in Advances in Petri nets 1989 (Lecture Notes in Computer Science 424), pp. 374-417, Springer-Verlag 1989.
• Suri, R.: "An overview of evaluative models for flexible manufacturing systems"; Annals of Operations Research, vol.3, no.1, pp.3-21, 1985.
• Zuberek, W.M.: "Timed Petri nets - definitions, properties and applications"; Microelectronics and Reliability (Special Issue on Petri Nets and Related Graph Models), vol.31, no.4, pp.627-644, 1991.
• Zuberek, W.M.: "Throughput analysis of simple closed timed Petri net models"; Proc. 36-th Midwest Symp. on Circuits and Systems, Detroit, MI, pp.930-933, 1993.
• Zuberek, W.M., Kubiak, W.: "Throughput analysis of manufacturing cells using timed Petri nets"; IEEE Int. Conf. on Systems, Man and Cybernetics, San Antonio, TX, pp.1328-1333, 1994.
• Zuberek, W.M., Zuberek, M.S.: "Transformations of timed Petri nets and performance analysis"; Proc. 33-rd Midwest Symp. on Circuits and Systems, Calgary, Canada, pp.774-778, 1990.

Available in pdf.