Modeling simple schedules of manufacturing cells using timed Petri nets

Zuberek, W.M. and Kubiak, W.

Proc. Int. Workshop on Intelligent Systems and Innovative Computations; Tokyo, Japan, 1-3 August 1994, pp.38-47.

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 enter and one leaves the cell during each cycle) are conflict-free nets. Invariant analysis of such models provides analytic (or symbolic) solutions for the cycle time or throughput of a cell. Several directions for further research are indicated.

Kaywords:

Manufacturing cells, cell schedules, timed Petri nets, place invariants, performance analysis.

Refereences:

• 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.
• 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.
• King, P.J.B.: Computer and communication systems performance modeling; Prentice-Hall 1990.
• Martinez, J., Silva, M.: "Simple and fast algorithm to obtain all invariants of a generalized Petri net"; in Applications and Theory of Petri Nets (Informatik Fachberichte 52); pp.301-310, Springer Verlag 1982.
• 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.
• W.M. Zuberek, "Throughput analysis of simple closed timed Petri net models"; Proc. 36-th Midwest Symp. on Circuits and Systems; Detroit, MI, pp.930-933, 1993.

Available in postscript.