Application of timed Petri nets to modeling the schedules of manufacturing cells

Zuberek, W.M.

Proc. INRIA/IEEE Conference on Emerging Technologies and Factory Automation - Novel Applications of Petri Nets in Automation; Paris, France, 10-13 October 1995, vol.2, pp.311-322.

Abstract:

Timed Petri nets are proposed as models of simple and composite schedules for a large class of manufacturing cells. Net models of simple schedules can easily be derived from the possible sequences of robot actions. Models of composite schedules can be obtained by different compositions of simple schedules. Timed net models can be evaluated using one of typical methods developed for analysis of timed Petri nets, for example, invariant analysis. Performance characterization (the cycle time or the throughput) obtained in this way can be used for maximization of the cell's performance. Because the number of different schedules grows very quickly with the number of machines as well as the length of the (composite) schedule, colored Petri nets are proposed as a uniform representation of entire classes of schedules. Simple examples illustrate the proposed approach.

Keywords:

Timed Petri nets, colored Petri nets, invariant analysis, flexible manufacturing cells, performance analysis.

References:

• Claybourne, B.H.: "Scheduling robots in flexible manufacturing cells"; CME Automation, vol.30, no.5, pp.36-40, 1983.
• 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.
• 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.
• K. Jensen, "Coloured Petri nets"; in Advanced Course on Petri Nets 1986 (Lecture Notes in Computer Science 254), G. Rozenberg (ed.), pp.248-299, 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.
• Zuberek, W.M., "Performance evaluation using timed colored Petri nets", Proc. 33-rd Midwest Symp. on Circuit and Systems (Special Session on Petri Net Models), Calgary, Alberta, pp.779-782, 1990.
• 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., Kubiak, W., "Timed Petri net models of flexible manufacturing cells"; Proc. 36-th Midwest Symp. on Circuits and Systems, Detroit MI, August 16-18, pp.922-925, 1993.

Available in pdf and postscript.